バイナリ決定図ライブラリ, と: 多くの非常に効率的なベクトル化されたBDD操作、 動的変数の並べ替え、 自動ガベージコレクション、 自動参照カウントを備えた C++ インターフェイス そしてはるかに。
バージョン履歴
- バージョン BuDDy%202.4 に転記 2004-07-28
いくつかの修正と更新 - バージョン BuDDy 2.4 に転記 2004-07-28
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: buddy.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 2.4
- プラットフォーム: linux