有没有一个 Python 模块/程序可以解决 SAT 问题?可能是加权布尔问题。 (具体而言,类似于 wbo 的东西)
如果没有,也许有绑定或 API 可以使用其中一个求解器。
我认为在我现在拥有的时间内自己编写一个是不可能的。
有没有一个 Python 模块/程序可以解决 SAT 问题?可能是加权布尔问题。 (具体而言,类似于 wbo 的东西)
如果没有,也许有绑定或 API 可以使用其中一个求解器。
我认为在我现在拥有的时间内自己编写一个是不可能的。
它们都提供命令行接口,输入输出文件可以轻松地在Python中生成和读取。此外,Gurobi还具有完整的Python shell。
Picosat有与Python相关的绑定(pycosat)。
pip install pycosat
之后可用。 - Tomasz Gandor