Module Md

module Md: sig .. end
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(s): Matthieu Sozeau, Pierre-Loic Garoche


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