![](/statics/img/blank.png)
Java Decision Diagram Libraries 103
軟體性質: 免費 檔案大小: N/A
使用者評分: 4.0/5 - 1 評分
請稍候,您的下載連結正在檢測惡意內容。
您將能夠在 5 秒內下載。
您將能夠在 5 秒內下載。
關於 Java Decision Diagram Libraries
此專案包含兩個不同的二進位決策圖 (BDD) 庫:JBDD:一個 JAVA 介面,指向兩個流行的 BDD 庫 CUDD 和 BuDdy。JDD:支援BD、Z-BDD等的本機JAVA庫(圖形/自動機/Petri網络/SAT)