Java（またはJavaバインディングを提供するもの）でのBDD（二分決定図）の実装に関する提案はありますか？このページをオンラインで見つけました：http：//www.mancoosi.org/~abate/avalaible-bdd-librariesですが、古くなっているかどうかはわかりません。それとも、Prologの実装を使用するだけで意味がありますか？
質問する
472 次
1 に答える
1
英語のウィキペディアのページには、ほとんどすべての有名なプログラミング言語で可能なBDDパッケージが多数用意されています。http://en.wikipedia.org/wiki/Binary_decision_diagram
試したことはありませんが、JavaBDDは、これまでで最高のBDDパッケージの1つであるCUDDとインターフェースできます。http://javabdd.sourceforge.net/
于 2012-07-28T17:02:06.420 に答える