ocamlgraph
| Authors | Sylvain Conchon, Jean-Christophe Filliâtre and Julien Signoles | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| License | GNU Library General Public License version 2.1 | |||||||||||||
| Homepage | http://ocamlgraph.lri.fr/ | |||||||||||||
| Issue Tracker | https://github.com/backtracking/ocamlgraph/issues | |||||||||||||
| Tags | graph, library, algorithms, directed graph, vertice, edge, persistent and imperative | |||||||||||||
| Maintainer | filliatr@lri.fr | |||||||||||||
| Dependencies |
| |||||||||||||
| Optional dependencies |
| |||||||||||||
| Available | ocaml-version < "4.06.0" | |||||||||||||
| Published | Jan 28, 2015 | |||||||||||||
| Source [http] | http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.6.tar.gz afbc24f0e0eb72c2d3eda64b68513e73 | |||||||||||||
| Statistics | Installed 9 times last month. | |||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocamlgraph/ocamlgraph.1.8.6/opam | |||||||||||||
A generic graph library for OCaml
| Necessary for | ||
|---|---|---|
| acpc | ||
| >= 1.2 | ||
| alt-ergo | ||
| < 1.01 | ||
| altgr-ergo | ||
| < 1.01 | ||
| bap | ||
| & | >= 0.9.2 | |
| < 1.0.0 | ||
| bap-phoenix | ||
| depgraph | ||
| dose | ||
| >= 3.4.1 | ||
| dose3 | ||
| frama-c | ||
| & | >= 20120901 | |
| < 20150201 | ||
| frama-c-base | ||
| frenetic | ||
| & | >= 3.0.0 | |
| < 3.2.0 | ||
| functoria | ||
| git | ||
| graphlib | ||
| heptagon | ||
| irmin | ||
| llvmgraph | ||
| >= 0.2 | ||
| modelica_ml | ||
| >= 0.2.0 | ||
| opa-base | ||
| opam-core | ||
| opam-lib | ||
| planck | ||
| >= 2.1.1 | ||
| rfsm | ||
| satML-plugin | ||
| < 1.01 | ||
| solvuu-build | ||
| solvuu_build | ||
| topology | ||
| >= 0.4.0 | ||
| why3 | ||
| & | >= 0.85 | |
| < 1.0.0 | ||
| Optional for | ||
| why3 | ||
| | | & | >= 0.81 |
| < 0.85 | ||
| >= 1.0.0 | ||
| why3-base | ||
