Welcome to PySAT’s documentation!#

This site covers the usage and API documentation of the PySAT toolkit. For the basic information on what PySAT is, please, see the main project website.

API documentation#

The PySAT toolkit has four core modules: card, formula, pb and solvers. The three of them (card, pb and solvers) are Python wrappers for the code originally implemented in the C/C++ languages while the formula module is a pure Python module. Version 0.1.4.dev0 of PySAT brings a new module called pb, which is a wrapper for the basic functionality of a third-party library PyPBLib developed by the Logic Optimization Group of the University of Lleida.

Core PySAT modules#

Supplementary examples package#