这是一种很好的SAT解析器。通过它，我们可以判断SAT问题是否有解，并且在有解的情况下能找到解-This is a good SAT resolver. Through it, we can determine whether the SAT problem to solve, and in the case of solvability can find solutions

这是一种非常有用的SAT解析器，速度快，结果准确。希望对大家有所帮助。-This is a very useful SAT resolver, fast, accurate and reliable. We hope to be helpful.

命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver

ZChaff SAT solver是一个验证电路节点蕴涵关系的工具，它需要将电路描述转换成合取范式格式(Conjunctive Normal Form，CNF)。-ZChaff SAT solver is a test circuit nodes contain relationship tool, it needs to transform circuit descr iption into Conjunctive Normal Form format (Conjunctive Normal