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.