Interactive BDD Environment 1.1

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 3.0/5 - ‎1 ‎評分

IBEN 是互動式 BDD 環境。它允許您聲明、操作和可視化縮減的有序二進位決策圖 (ROBD)。它被設計為一個學習工具,雖然它是有用的,每當你需要操作BDD互動和

版本歷史記錄

  • 版本 1.1 發佈於 2003-03-25
    若干修復和更新
  • 版本 1.1 發佈於 2003-03-25

軟體細節