msat.backend
Msat_backend.Backend_intf
Backend interface
This modules defines the interface of the modules providing export of proofs.
msat
msat.backtrack
msat.sat
msat.tseitin
module type S = sig ... end
Proof exporting