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