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¶
- Fu&Malik MaxSAT algorithm (
pysat.examples.fm
) - Hard formula generator (
pysat.examples.genhard
) - Minimum/minimal hitting set solver (
pysat.examples.hitman
) - LBX-like MCS enumerator (
pysat.examples.lbx
) - LSU algorithm for MaxSAT (
pysat.examples.lsu
) - CLD-like MCS enumerator (
pysat.examples.mcsls
) - An iterative model enumerator (
pysat.examples.models
) - A deletion-based MUS extractor (
pysat.examples.musx
) - RC2 MaxSAT solver (
pysat.examples.rc2
)