{"library":"python-sat","type":"library","category":null,"description":"PySAT is a Python library that provides a simple and unified incremental interface to a variety of state-of-the-art Boolean satisfiability (SAT) solvers. It enables researchers and developers to easily prototype with SAT oracles in Python, exploiting the power of low-level C/C++ implementations of modern SAT solvers. The library offers various propositional encodings for linear (cardinality and pseudo-Boolean) constraints. It is currently at version 1.9.dev2 and follows a rolling release model with frequent, small updates.","language":"python","status":"active","version":"1.9.dev2","tags":["SAT solver","satisfiability","Boolean logic","MaxSAT","MUS","MCS","constraint programming"],"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":[]}],"homepage":"https://pysathq.github.io","github":"https://github.com/pysathq/pysat","docs":null,"changelog":null,"pypi":"https://pypi.org/project/python-sat/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":55,"avg_install_s":2.8,"avg_import_s":0.06,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/python-sat/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Sun Jun 28","last_verified":"Sun Jun 28","next_check":"Tue Jul 28","install_tag":null}}