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 | LGPL-2.1-only |
| 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.7.tar.gz md5=e733b8309b9374e89d96e907ecaf4f76 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocamlgraph/ocamlgraph.1.8.7/opam |
Required by
- acpc>=1.2 & <2.0.0
- alt-ergo<1.01
- altgr-ergo<1.01
- archsat
- bap>=0.9.2 & <1.0.0
- bap-phoenix
- binsec
- bistro>=0.2.0
- depgraph
- dose3>=5.0.1 & <6.1
- frama-c>=8.0 & <10.0
- frama-c-base>=14.0
- frenetic>=3.0.0 & <3.2.0 | >=5.0.0 & <5.0.5
- functoria<4.0.0~beta1
- git<3.0.0
- graphlib
- GT
- heptagonbuild
- hts_shrink
- irmin
- llvmgraph>=0.2
- modelica_ml>=0.2.0
- molenc>=11.4.0
- opa-base
- opam-core
- opam-lib
- ott>=0.33
- pfff>=0.37.1
- planck>=2.1.1
- rfsm
- rotor
- satML-plugin<1.01
- satyrographos>=0.0.2.7
- solvuu-build
- solvuu_build
- sparrow
- squirrel
- topology>=0.4.0
- why3>=0.85 & <1.0.0
