Section: Software

OCamlgraph

Participants : Jean-Christophe Filliâtre [contact] , Sylvain Conchon.

Keywords: Graph, Library, OCaml.

OCamlgraph is a graph library for OCaml. It features many graph data structures, together with many graph algorithms. Data structures and algorithms are provided independently of each other, thanks to OCaml module system. OCamlgraph is distributed as open source, under the LGPL license, at http://OCamlgraph.lri.fr/ . It is also distributed as a package in several Linux distributions. OCamlgraph is now widely spread among the community of OCaml developers.