開發者 javabdd.sf.net

用於操作 BDD 的 JAVA 庫（二進位決策圖）。二進位決策圖廣泛應用於模型檢查、正式驗證、優化電路圖等。