S-SAT - Sapienza SAT 06

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

关于 S-SAT - Sapienza SAT

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