Parallel Sat4J 0.01

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 5.0/5 - ‎1 ‎評分

關於 Parallel Sat4J

這是一個學術專案;主要目標是生成一個演算法來並行化 CNF 公式,然後將分散式零件饋送至順序 SAT 解算器,對於此專案,我們選擇使用 Sat4J 作為解算器。