msat 0.8

Libraries

This package provides the following libraries (via ocamlobjinfo):

msat

Documentation:

• Msat Main API

msat.backend

Documentation:

• Msat_backend

msat.backtrack

Documentation:

• Msat_backtrack

msat.sat

Documentation:

• Msat_sat Sat solver

msat.tseitin

Documentation:

• Msat_tseitin Tseitin CNF conversion