S-SAT - Sapienza SAT 06

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

在罗马的拉萨皮恩扎大学课程中,我开发了一个基于单元传播和回溯的完全工作的SAT解算器;它可以读取DIMACS文件和处理任何长度的cnf公式(对文字的数量没有限制)。

版本历史记录

  • 版本 s-sat06.beta1 发布于 2009-02-14
    若干修复和更新
  • 版本 s-sat06.beta1 发布于 2009-02-14

软件信息