Parallel Sat4J 0.01

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

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

版本歷史記錄

  • 版本 0.01 發佈於 2008-03-26
    若干修復和更新
  • 版本 0.01 發佈於 2008-03-26

軟體細節