Project Team Proval

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
PDF e-pub XML

Section: Software


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 license, at . It is also distributed as a package in several Linux distributions. OCamlgraph is now widely spread among the community of OCaml developers.