{"library":"python-sat","install":[{"cmd":"pip install python-sat","imports":["from pysat.solvers import Solver","from pysat.solvers import Glucose3","from pysat.formula import CNF"]},{"cmd":"pip install 'python-sat[aiger,approxmc,cryptosat,pblib]'","imports":[]}]}