用於操作 BDD 的 JAVA 庫（二進位決策圖）。二進位決策圖廣泛應用於模型檢查、正式驗證、優化電路圖等。
版本歷史記錄
- 版本 0.6%20Win32%20binary 發佈於 2005-05-09
若干修復和更新 - 版本 0.6 Win32 binary 發佈於 2005-05-09
軟體細節
- 軟體分類： 教育 > 其他
- 發佈者： javabdd.sf.net
- 軟體性質： 免費
- 價格： N/A
- 版本： 0.6
- 作業系統： linux
用於操作 BDD 的 JAVA 庫（二進位決策圖）。二進位決策圖廣泛應用於模型檢查、正式驗證、優化電路圖等。