cannot find pysat=0.1.3 dependency

Question

I am getting error as

from pysat.solvers import Glucose3

ModuleNotFoundError: No module named 'pysat.solvers'*

when I am trying newer version of pysat. I cannot find the required older version that is pysat=0.1.3.

Answer 1

I had the same issue, try to use pip install -U python-sat or pip3 install -U python-sat command to install the toolkit. Reference: "https://pysathq.github.io/installation/".