開發者 parallelsat4j.sf.net

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