プログラム buddy.sf.net

バイナリ決定図ライブラリ, と:多くの非常に効率的なベクトル化されたBDD操作、動的変数の並べ替え、自動ガベージコレクション、自動参照カウントを備えた C++ インターフェイスそしてはるかに。