文件名称:pbsolver:使用 MiniSat+ 的伪布尔求解器
文件大小:116KB
文件格式:ZIP
更新时间:2024-07-26 09:27:43
JavaScript
解算器 使用 MiniSat+ 的伪布尔求解器
【文件预览】:
pbsolver-master
----minisatp.js(379KB)
----package.js(454B)
----README.md(56B)
----pbsolver_tests.js(11KB)
----.gitignore(3B)
----api.js(9KB)