开发者 s-sat.sf.net

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