BDDを操作するためのJavaライブラリ(バイナリ決定図)。バイナリー決定図は、モデルチェック、公式検証、回路図の最適化などで広く使用されています。
バージョン履歴
- バージョン 0.6%20Win32%20binary に転記 2005-05-09
いくつかの修正と更新 - バージョン 0.6 Win32 binary に転記 2005-05-09
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: javabdd.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.6
- プラットフォーム: linux