开发者 parallelsat4j.sf.net

这是一个学术项目;主要目标是生成一个算法来并行化 CNF 公式，然后将分布式零件馈送至顺序 SAT 解算器，对于此项目，我们选择使用 Sat4J 作为解算器。