package ocamlgraph

  1. Overview
  2. Docs
A generic graph library for OCaml

Install

Dune Dependency

github.com Edit opam file Versions (9)

Authors

  1. S
    Sylvain Conchon
  2. J
    Jean-Christophe Filliâtre
  3. J
    Julien Signoles

Maintainers

  1. J
    jean-christophe.filliatre@cnrs.fr

Sources

ocamlgraph-1.8.7.tar.gz
md5=e733b8309b9374e89d96e907ecaf4f76

Description

Tags

graph library algorithms directed graph vertice edge persistent imperative

Published: 05 Jul 2016

Dependencies (2)

  1. ocamlfind build
  2. ocaml < "4.06.0"

Dev Dependencies

None

Used by (44)

  1. acgtk >= "2.0.0"
  2. acpc >= "1.2" & < "2.0.0"
  3. alt-ergo < "1.01"
  4. altgr-ergo < "1.01"
  5. archsat
  6. awsm-codegen
  7. bap >= "0.9.2" & < "1.0.0"
  8. bap-phoenix
  9. binsec
  10. bistro >= "0.2.0"
  11. depgraph
  12. doculib >= "1.3.5"
  13. dose3 >= "5.0.1" & < "6.1"
  14. forester < "2.4"
  15. frama-c >= "8.0" & < "10.0"
  16. frama-c-base >= "14.0"
  17. frenetic >= "3.0.0" & < "3.2.0" | >= "5.0.0" & < "5.0.5"
  18. functoria < "4.0.0~beta1"
  19. GT
  20. git < "3.0.0"
  21. graphlib
  22. heptagon
  23. hts_shrink < "3.0.1"
  24. irmin
  25. llvmgraph >= "0.2"
  26. modelica_ml >= "0.2.0"
  27. molenc >= "11.4.0"
  28. opa-base
  29. opam-core
  30. opam-lib
  31. ott >= "0.33"
  32. pfff >= "0.37.1"
  33. planck >= "2.1.1"
  34. rfsm < "2.0"
  35. rotor
  36. satML-plugin < "1.01"
  37. satyrographos >= "0.0.2.7"
  38. solvuu-build
  39. solvuu_build
  40. sparrow
  41. squirrel
  42. tezos-benchmark
  43. topology >= "0.4.0"
  44. why3 >= "0.85" & < "1.0.0"

Conflicts

None