mc2.dimacs
Mc2_dimacs.Plugin_sat
mc2.backend
mc2.core
mc2.lra
mc2.propositional
mc2.smtlib
mc2.uf
mc2.unin_sort
val k_atom : (int -> Mc2_core.atom) Mc2_core.Service.Key.t
val plugin : Mc2_core.Plugin.Factory.t