IBEN は、対話型の BDD 環境です。これにより、順序付けされたバイナリー決定図 (Robdds) を宣言、操作、視覚化することができます。これは、学習ツールとして設計されましたが、BDDをインタラクティブに操作する必要があるときはいつでも便利です。
バージョン履歴
- バージョン 1.1 に転記 2003-03-25
いくつかの修正と更新 - バージョン 1.1 に転記 2003-03-25
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: iben.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.1
- プラットフォーム: linux