Signatures for graph implementations.

Immediate access to the library: contain a signature gathering an imperative graph signature and all algorithms.

AST for DOT file format.

Some useful operations.

Persistent Graph Implementations.

Imperative Graph Implementations.

Delaunay triangulation.

Graph builders in order to persistent/imperative graphs sharing a same signature.

Some classic graphs

Random graph generation.

Basic operations over graphs

Strongly connected components.

Paths

Weighted graphs without negative-cycles.

Graph traversal.

k-coloring of undirected graphs.

Topological order.

Kruskal's minimum-spanning-tree algorithm.

Algorithms on flows

Dominators

Interface with GraphViz

Parser and pretty-printer for GML file format.

Parser for DOT file format.

Immediate access to the library: provides implementation of imperative graphs labeled with integer as well as algorithms on such graphs.

Graph mapping.

Minimal separators of a graph

Construction of the clique tree of a graph and recognition of chordal graphs.

Maximal Cardinality Search (MCS-M) algorithm

Minimum Degree algorithm

Strategies

Fixpoint computation implemented using the work list algorithm.

The leader list algorithm; it generates a list of basic blocks from a directed graph.

Edge contraction for directed, edge-labeled graphs

Generic GraphMl Printer

Provides functions to extend any module satisfying one of the signatures Sig.P, Sig.I and Builder.S .

Minimal cutset of a graph

Graph cliques

Weak topological ordering of the vertices of a graph, as described by François Bourdoncle.

Fixpoint computation with widenings using weak topological orderings as defined by François Bourdoncle and implemented in WeakTopological.

Parses xdot drawing operations

Reads layout information from xdot ASTs

Abstract graph model

View items for the different elements of a graph.

View classes.