tinysat:js中的最小CDCL SAT求解器

【文件属性】：
文件名称：tinysat:js中的最小CDCL SAT求解器
文件大小：6KB
文件格式：ZIP
更新时间：2021-05-02 10:51:37
sat-solver JavaScript 小卫星 Tinysat是用JavaScript编写的最小的SAT解算器，它实现了 CDCL算法 第一个唯一蕴涵点（1UIP）子句学习 单元传播的两种监视字面方案 Tinysat可以与node.js一起运行 node tinysat_node.js 或在浏览器中

【文件预览】：
tinysat-master
----tinysat_browser.js(2KB)
----README.md(345B)
----tinysat_node.js(1024B)
----tinysat_core.js(14KB)
----index.html(2KB)
----style.css(95B)