Module Mc2_dimacs.Plugin_sat
Trivial plugin for SAT
val k_atom : (int -> Mc2_core.atom) Mc2_core.Service.Key.tval plugin : Mc2_core.Plugin.Factory.t
Mc2_dimacs.Plugin_satval k_atom : (int -> Mc2_core.atom) Mc2_core.Service.Key.tval plugin : Mc2_core.Plugin.Factory.t