This package implements a generic directed graph, made of vertices linked by directed edges.