cannot find pysat=0.1.3 dependency

711 views Asked by At

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.

1

There are 1 answers

0
Artur Papyan On

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/".