ModuleNotFoundError: No module named ‘pysat.solvers‘（已解决）

问题

尝试使用以下代码学习pysat的使用，参考

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 = []