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

Install

github.com Readme Changelog LGPL-2.1-only License Edit opam file

Authors

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

Maintainers

  1. F
    filliatr@lri.fr

Sources

ocamlgraph-2.0.0.tbz
sha256=20fe267797de5322088a4dfb52389b2ea051787952a8a4f6ed70fcb697482609
sha512=c4973ac03bdff52d1c8a1ed01c81e0fbe2f76486995e57ff4e4a11bcc7b1793556139d52a81ff14ee8c8de52f1b40e4bd359e60a2ae626cc630ebe8bccefb3f1

Description

Provides both graph data structures and graph algorithms

Tags

graph library algorithms directed graph vertice edge persistent imperative

Published: 08 Oct 2020

Dependencies (2)

  1. stdlib-shims
  2. ocaml >= "4.03.0"

Dev Dependencies (2)

  1. graphics with-test
  2. dune >= "2.0" & !with-test | >= "2.8"

Used by (46)

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

Conflicts

None