ocamlgraphversion
A generic graph library for OCaml
Tags | graph library algorithms directed graph vertice edge persistent imperative |
---|---|
Authors | Sylvain Conchon, Jean-Christophe Filliâtre and Julien Signoles |
License | GNU Library General Public License version 2.1 |
Published | |
Homepage | http://ocamlgraph.lri.fr/ |
Issue Tracker | https://github.com/backtracking/ocamlgraph/issues |
Maintainer | filliatr@lri.fr |
Dependencies | |
Optional dependencies | |
Source [http] | http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.6.tar.gz md5=afbc24f0e0eb72c2d3eda64b68513e73 |
Statistics | Installed 15 times last month. |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocamlgraph/ocamlgraph.1.8.6/opam |
Required by
- acpc>=1.2
- alt-ergo<1.01
- altgr-ergo<1.01
- archsat
- bap>=0.9.2 & <1.0.0
- bap-phoenix
- depgraph
- dose>=3.4.1
- dose3
- frama-c>=8.0 & <11.0
- frama-c-base
- frenetic>=3.0.0 & <3.2.0
- functoria
- git
- graphlib
- heptagonbuild
- hts_shrink
- 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