プログラム iben.sf.net

IBEN は、対話型の BDD 環境です。これにより、順序付けされたバイナリー決定図 (Robdds) を宣言、操作、視覚化することができます。これは、学習ツールとして設計されましたが、BDDをインタラクティブに操作する必要があるときはいつでも便利です。