ocamlgraphversion
A generic graph library for OCaml
Provides both graph data structures and graph algorithms
| 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 | https://github.com/backtracking/ocamlgraph/ |
| Issue Tracker | https://github.com/backtracking/ocamlgraph/issues/new |
| Maintainer | jean-christophe.filliatre@cnrs.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/ocamlgraph/releases/download/2.2.0/ocamlgraph-2.2.0.tbz sha256=b0956210863cc24f480203ba3c2ef06dfae5579536a05744364e7de58822b230 sha512=257cdd5fb90337b3e3682cade1269c1d181f3124e569a731909f49bbfbe581ab529ac401472fb9ef57166ac34d8ebadfa6a32c93665f38f5a335982d5e5dc0e1 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocamlgraph/ocamlgraph.2.2.0/opam |
Required by
- acgtk>=2.0.0
- acpc=1.2.3
- alt-ergo<1.01
- altgr-ergo<1.01
- archsat
- awsm-codegen
- bap-phoenix
- binsec
- bistro
- caisar>=0.2.1
- caisar-ir
- caisar-xgboost
- catala
- colibri2
- depgraph
- doculib>=1.3.5
- dose3>=5.0.1-1
- forester
- frama-c>=22.0 & <24.0 | >=28.0~beta
- frenetic
- functoria<4.0.0~beta1
- git
- graphlib
- GT
- heptagonbuild
- hts_shrink<3.0.1
- irmin
- mmo
- molenc>=11.4.0
- not-ocamlfind>=0.07.01
- nuscr
- ocamlgraph_gtk
- octez-internal-libs
- opam-core
- opam-lib<1.3.1
- ott>=0.33
- pa_ppx_ag>=0.08
- pfff
- prbnmcn-statswith-test & >=0.0.5
- rfsm
- rotor
- satML-plugin<1.01
- satyrographos>=0.0.2.7
- squirrel
- tezos-benchmark
Optionally used by
- why3!=1.2.1
