1

有人对 Java 中的 BDD（二进制决策图）实现（或提供 Java 绑定的实现）有建议吗？我在网上找到了这个页面：http: //www.mancoosi.org/~abate/avalaible-bdd-libraries但不确定它是否已过时。还是只使用 Prolog 实现有意义？

4

1 回答 1

1

英文维基百科页面以几乎所有著名的编程语言提供了许多可能的 BDD 包。http://en.wikipedia.org/wiki/Binary_decision_diagram

我没有尝试过，但 JavaBDD 可以连接到 CUDD，这是目前最好的 BDD 包之一。http://javabdd.sourceforge.net/

于 2012-07-28T17:02:06.420 回答