IBEN 是互動式 BDD 環境。它允許您聲明、操作和可視化縮減的有序二進位決策圖 (ROBD)。它被設計為一個學習工具,雖然它是有用的,每當你需要操作BDD互動和
版本歷史記錄
- 版本 1.1 發佈於 2003-03-25
若干修復和更新 - 版本 1.1 發佈於 2003-03-25
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: iben.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.1
- 作業系統: linux
IBEN 是互動式 BDD 環境。它允許您聲明、操作和可視化縮減的有序二進位決策圖 (ROBD)。它被設計為一個學習工具,雖然它是有用的,每當你需要操作BDD互動和