Parallel Sat4J 0.01

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

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

版本历史记录

  • 版本 0.01 发布于 2008-03-26
    若干修复和更新 {*}
  • 版本 0.01 发布于 2008-03-26

软件信息