mc2.core
Mc2_core.Builtins
mc2.backend
mc2.dimacs
mc2.lra
mc2.propositional
mc2.smtlib
mc2.uf
mc2.unin_sort
This plugin is always included automatically
val k_true : Mc2_core__.Solver_types.term Service.Key.t
Trivial boolean term
val k_false : Mc2_core__.Solver_types.term Service.Key.t
Absurd boolean term
val plugin : Plugin.Factory.t