package ocamlgraph

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

Install

Dune Dependency

Authors

Maintainers

Sources

ocamlgraph-1.8.2.tar.gz
sha256=e54ae60cd977a032854166dad56348d0fb76c6cd8e03e960af455268f0c8b5a6
md5=efa4394bc4651c90de443ff61c7477e6

Description

Published: 21 Nov 2013

Dependencies (2)

  1. ocamlfind
  2. ocaml < "4.06.0"

Dev Dependencies

None

Used by (42)

  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. depgraph
  10. doculib >= "1.3.5"
  11. dose < "3.2.2"
  12. forester < "2.4"
  13. frama-c < "9.1"
  14. frenetic >= "3.0.0" & < "3.2.0"
  15. functoria < "4.0.0~beta1"
  16. GT
  17. git < "3.0.0"
  18. graphlib
  19. heptagon
  20. hts_shrink < "3.0.1"
  21. irmin
  22. modelica_ml >= "0.2.0"
  23. molenc >= "11.4.0"
  24. oasis < "0.3.0"
  25. octez-internal-libs
  26. opa-base
  27. opam-core >= "2.0.0~beta"
  28. opam-lib
  29. ott >= "0.33"
  30. pfff >= "0.37.1"
  31. planck >= "2.1.1"
  32. plasma
  33. rfsm < "2.0"
  34. satML-plugin < "1.01"
  35. satyrographos >= "0.0.2.7"
  36. solvuu-build
  37. solvuu_build
  38. squirrel
  39. tezos-benchmark
  40. topology < "0.4.0"
  41. why < "2.35"
  42. why3 < "0.81" | >= "0.85" & < "1.0.0"

Conflicts

None

OCaml

Innovation. Community. Security.