Mcs_m.MaximalCardinalitySearch
module P (G : Sig.P) : sig ... end
module I (Gr : Sig.I) : sig ... end