4

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

或者，如果没有，则可能存在绑定或 API 来使用这些求解器之一。

我不认为我现在可以自己编程。

4

2 回答 2

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 shell。

于 2013-03-21T18:37:26.000 回答
4

Picosat 具有 python ( pycosat )的绑定

于 2014-10-11T18:55:27.973 回答