Graph.Md
Minimum Degree algorithm
Based on the article: The Minimum Degree Heuristic and the Minimal Triangulation Process by A. Berry, Pinar Heggernes & Geneviève Simonet.
module P (G : Sig.P) : sig ... end
module I (G : Sig.I) : sig ... end