Graph.Cliquetree
Construction of the clique tree of a graph and recognition of chordal graphs.
Based on the article: Chordal graphs and their clique graph by P. Galinier, M. Habib and C. Paul.
module CliqueTree (G : Sig.G) : sig ... end