プログラム javaddlib.sf.net

このプロジェクトには、2 つの異なるバイナリ決定図 (BDD) ライブラリが含まれています: JBDD: 2 つの人気のある BDD ライブラリ、CUDD と BuDDy への Java インターフェイス。JDD: BDD、Z-BDDなどをサポートするネイティブJavaライブラリ(グラフ/オートマトン/ペトリネット/SAT)