3 search results for "author:"Sylvain Conchon""

Showing 1 - 3
  1. cubicle
    Documentation
    SMT based model checker for parameterized systems
    Sylvain Conchon Alain Mebsout
    1.2.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  2. ocamlgraph
    Documentation
    A generic graph library for OCaml
    graph library algorithms directed graph vertice edge persistent imperative data-structures
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 40 other packages
    Added to opam-repository
  3. ocamlgraph_gtk
    Documentation
    Displaying graphs using OCamlGraph and GTK
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository