Module Mcs_m.MaximalCardinalitySearch

module P : functor (G : Sig.P) -> sig ... end
module I : functor (Gr : Sig.I) -> sig ... end