Modulenotfounderror: no module named 'pysat.solvers' (resolved)

problem

Try using the following code to learn pysat Use , Reference resources

from pysat.solvers import Solver

def solve_sat_from_clauses(clauses):
    ''' use g3 solver to solve the clauses list >>>> Parameters: :clauses: clauses that should be satisified >>>> Return: :solutions: all possible solutions to the sat problem '''
    solutions = []
    with Solver(name='g3') as s1:  # define a g3 solver
        for clause in clauses:
            s1.add_clause(clause)  # add clauses
        if s1.solve():
            for solution in s1.enum_models():  # enumerate all possible solutions
                solutions.append(solution)
    return solutions
if __name__ == "__main__":
    c = [[1,-2],[2,-1]]
    # c = [[1, -2], [-1]]
    s = solve_sat_from_clauses(c)
    print(s)

Report errors

ModuleNotFoundError: No module named 'pysat.solvers'

reason

Refer to the following , But it doesn't work
https://github.com/pysathq/pysat/issues/96
The original installation scheme is pip install pysat, Later, I found that this should not be installed , This pysat The home page of is https://pysat.readthedocs.io/en/latest/index.html, Its pipi The address is https://pypi.org/project/pysat/

Solution

pysat.solvers What is used pysat by https://pysathq.github.io/, The installation method is pip install python-sat, Its pipi The address is https://pypi.org/project/python-sat/