Module Mcs_m.MaximalCardinalitySearch

module MaximalCardinalitySearch: sig .. end

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