有人对Java中的BDD（二进制决策图）实现（或提供Java绑定的实现）有什么建议吗？我在网上找到了这个页面：http://www.mancoosi.org/~abate/availaible bdd库，但不确定它是否已过时。或者仅仅使用Prolog实现有意义吗？
英文维基百科页面提供了几乎所有著名编程语言的许多可能的BDD包。http://en.wikipedia.org/wiki/Binary_decision_diagram
我没有尝试过，但JavaBDD可以与CUDD接口，CUDD是目前最好的BDD包之一。http://javabdd.sourceforge.net/
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium