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

【文件属性】：

文件名称：tinysat:js中的最小CDCL SAT求解器

文件大小：6KB

文件格式：ZIP

更新时间：2024-05-22 04:38:17

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)