condensate:javascript中的SAT求解器

凝结水 javascript中的SAT求解器 DPLL算法 两看文学 非常简单的CDCL（每次冲突中只有一个子句） 去做： 如何选择两个手表字面量？ 喜欢不常见的vars？ CDCL解析器可以是单个文字，请再次简化。 （这是一个非常有用的情况！） 决策变量启发式 衡量学习子句的有用性，删除最不有用的