Team Proval

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Software

Ocamlgraph

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

Ocamlgraph is a graph library for Objective Caml. 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 licence, 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.


previous
next

Logo Inria