Python 有没有类似 wbo 的 SAT 解算器？
有没有一个Python模块或者程序，可以解决SAT问题？可能是加权布尔问题。具体来说，就是像wbo这样的东西。
如果没有，是否有一些接口或者API，可以使用这些求解器呢？
我觉得我现在没有时间自己编写一个。
2 个回答
4
Picosat有一个可以在Python中使用的接口，叫做pycosat。
4
如果你想解决SAT问题，我建议你使用MiniSat（http://minisat.se）、Glucose（https://www.lri.fr/~simon/?page=glucose）或者Picosat（http://fmv.jku.at/picosat），还有其他的选择。对于伪布尔优化，我知道MiniSat+（http://minisat.se/MiniSat+.html）和Gurobi（http://www.gurobi.com）。我觉得这些工具大部分都是免费的，除了Gurobi，它提供试用版和学术许可证。
这些工具都有命令行界面，可以很方便地生成和读取输入输出文件，特别是可以在Python中操作。而且，Gurobi还提供了完整的Python命令行环境。