module Minsep:Minimal separators of a graphsig
..end
Based on the article:
Generating all the minimal separators of a graph.
by A. Berry, J.-P. Bordat and O.Cogis
http://www.isima.fr/berry/generating.html
Author(s): Matthieu Sozeau, Pierre-Loic Garoche
module MinimalSeparators:sig
..end