Module Cliquetree

module Cliquetree: sig .. end

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.
Author(s): Matthieu Sozeau

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