这是一个学术项目;主要目标是生成一个算法来并行化 CNF 公式,然后将分布式零件馈送至顺序 SAT 解算器,对于此项目,我们选择使用 Sat4J 作为解算器。
版本历史记录
- 版本 0.01 发布于 2008-03-26
若干修复和更新 {*} - 版本 0.01 发布于 2008-03-26
软件信息
- 软件分类: 发展 > 其他
- 发布者: parallelsat4j.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 0.01
- 适用平台: windows
这是一个学术项目;主要目标是生成一个算法来并行化 CNF 公式,然后将分布式零件馈送至顺序 SAT 解算器,对于此项目,我们选择使用 Sat4J 作为解算器。