TinySat最小CDCL SAT求解器JavaScript实现
你如果正在寻找一个轻量级的 SAT 求解器，tinysat会是个不错的选择。它是一个基于 JavaScript 的最小化 CDCL SAT 求解器，实现了第一唯一蕴涵点（1UIP）子句学习单元传播算法。最重要的是，tinysat不仅能和node.js一起运行（执行命令node tinysat_node.js），也能在浏览器环境下使用，支持跨平台的运行方式。你可以用它来 SAT 问题，适合需要在前端进行 SAT 求解的项目，或者你想了解 CDCL 算法的具体实现方式时，试试它也不错。
不过，如果你计划用它做大规模的运算，要小心性能上的瓶颈。对于一般的 SAT 求解任务，它已经能好地满足需求了。
，如果你想要一个简单而高效的 SAT 求解器，tinysat绝对是一个值得尝试的工具。
文件大小：6.3KB
评论区