Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software ocamlgraph
ocamlgraph - Ocaml graph library
Date of the last release: 04 February 2014

Person in charge : FILLIÂTRE Jean-Christophe


Ocamlgraph is a graph library for Objective Caml. It provides many graph data structures (bother persistent and imperative) and many graph algorithms. Data structures and algorithms are provided independently, thanks to Ocaml module system.

More information: http://ocamlgraph.lri.fr/

Software - Licence : LGPL



Research activities

Members
  FILLIÂTRE Jean-Christophe
  CONCHON Sylvain

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata
Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE