文件名称：condensate:javascript中的SAT求解器
文件大小：11KB
文件格式：ZIP
更新时间：2024-05-18 11:10:32
JavaScript
凝结水 javascript中的SAT求解器 DPLL算法 两看文学 非常简单的CDCL（每次冲突中只有一个子句） 去做： 如何选择两个手表字面量？ 喜欢不常见的vars？ CDCL解析器可以是单个文字，请再次简化。 （这是一个非常有用的情况！） 决策变量启发式 衡量学习子句的有用性，删除最不有用的
【文件预览】：
condensate-master
----.gitignore(531B)
----sat_test.js(2KB)
----package.json(307B)
----LICENSE(1KB)
----randomCNF.js(839B)
----sat.js(9KB)
----README.md(399B)
----logic.js(6KB)
----dimacs.js(834B)
----logic_tests.js(6KB)