找不到pysat=0.1.3依赖项

Question

我收到错误信息

from pysat.solvers import Glucose3

ModuleNotFoundError: No module named 'pysat.solvers'*

当我尝试更新版本的

pysat

时。 我找不到所需的旧版本

pysat=0.1.3

.

Answer 1

我有同样的问题，尝试使用

pip install -U python-sat

或

pip3 install -U python-sat

命令来安装工具包。 参考：“https://pysathq.github.io/installation/”。