開發者 javaddlib.sf.net

此專案包含兩個不同的二進位決策圖 （BDD） 庫：JBDD：一個 JAVA 介面，指向兩個流行的 BDD 庫 CUDD 和 BuDdy。JDD：支援BD、Z-BDD等的本機JAVA庫（圖形/自動機/Petri網络/SAT）