Search - zchaff

Search - zchaff - List

[Linux-Unix] zchaff.2004.5.13.tar DL : 0: 这是一种很好的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
Update : 2025-02-17 Size : 67kb Publisher : 张晓
[Linux-Unix] zchaff.2008.10.12 DL : 0: 这是一种非常有用的SAT解析器，速度快，结果准确。希望对大家有所帮助。-This is a very useful SAT resolver, fast, accurate and reliable. We hope to be helpful.
Update : 2025-02-17 Size : 62kb Publisher : 张晓
[Mathimatics-Numerical algorithms] zchaff DL : 0: 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
Update : 2025-02-17 Size : 3.9mb Publisher : gejuan
[Other Embeded program] zchaff.2004.11.15 DL : 0: ZChaff SAT solver是一个验证电路节点蕴涵关系的工具，它需要将电路描述转换成合取范式格式(Conjunctive Normal Form，CNF)。-ZChaff SAT solver is a test circuit nodes contain relationship tool, it needs to transform circuit description into Conjunctive Normal Form format (Conjunctive Normal Form, CNF).
Update : 2025-02-17 Size : 85kb Publisher : ling