mc2.backend
Mc2_backend.Backend_intf
Backend interface
This modules defines the interface of the modules providing export of proofs.
mc2.core
mc2.dimacs
mc2.lra
mc2.propositional
mc2.smtlib
mc2.uf
mc2.unin_sort
module type S = sig ... end
Proof exporting