buddy 2.4

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

二進位決策圖庫,帶 : 許多高效的矢量化 BDD 操作, 動態變數重新排序, 自動垃圾收集, 具有C++計數的自動介面, 和更多。

版本歷史記錄

  • 版本 BuDDy%202.4 發佈於 2004-07-28
    若干修復和更新
  • 版本 BuDDy 2.4 發佈於 2004-07-28

軟體細節