這是一個學術專案;主要目標是生成一個演算法來並行化 CNF 公式,然後將分散式零件饋送至順序 SAT 解算器,對於此專案,我們選擇使用 Sat4J 作為解算器。
版本歷史記錄
- 版本 0.01 發佈於 2008-03-26
若干修復和更新 - 版本 0.01 發佈於 2008-03-26
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: parallelsat4j.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.01
- 作業系統: windows
這是一個學術專案;主要目標是生成一個演算法來並行化 CNF 公式,然後將分散式零件饋送至順序 SAT 解算器,對於此專案,我們選擇使用 Sat4J 作為解算器。