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