Module 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.

author
Matthieu Sozeau
author
Pierre-Loic Garoche
module P : functor (G : Sig.P) -> sig ... end
module I : functor (G : Sig.I) -> sig ... end