是否有类似wbo的SAT-Solver for Python？

Question

是否有解决SAT问题的Python模块/程序？可能是加权布尔值。 （具体来说，像wbo）

如果没有，可能存在绑定，或使用其中一个解算器的API。

我认为我现在无法自己编程。

Answer 1

为了解决SAT问题，我建议使用MiniSat（http://minisat.se），葡萄糖（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 shell。

Answer 2

Picosat具有python（pycosat）

的绑定