msat

Library containing a SAT solver that can be parametrized by a theory
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

msat

Documentation: Msat

Dependencies: iter

msat.backend

Documentation:

Dependencies: msat

msat.backtrack

Documentation: Msat_backtrack

Dependencies: msat

msat.sat

Documentation: Msat_sat

Dependencies: msat

msat.tseitin

Documentation: Msat_tseitin

Dependencies: msat