二進位決策圖庫,帶 : 許多高效的矢量化 BDD 操作, 動態變數重新排序, 自動垃圾收集, 具有C++計數的自動介面, 和更多。
版本歷史記錄
- 版本 BuDDy%202.4 發佈於 2004-07-28
若干修復和更新 - 版本 BuDDy 2.4 發佈於 2004-07-28
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: buddy.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 2.4
- 作業系統: linux
二進位決策圖庫,帶 : 許多高效的矢量化 BDD 操作, 動態變數重新排序, 自動垃圾收集, 具有C++計數的自動介面, 和更多。