package 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. J
    jean-christophe.filliatre@cnrs.fr

Sources

ocamlgraph-2.1.0.tbz
sha256=0f962c36f9253df2393955af41b074b6a426b2f92a9def795b2005b57d302d65
sha512=8ee77bc1ef27bef41171b5718a73342dca8adc4b4592ff835038cd21e8c91152a0f9500b4034f664d1db7a09dab1efcc3be5d7c59260d6b33710b82a1fb2f196

Description

Provides both graph data structures and graph algorithms

Tags

graph library algorithms directed graph vertice edge persistent imperative

Published: 31 Aug 2023

Dependencies (3)

  1. dune >= "2.0"
  2. stdlib-shims
  3. ocaml >= "4.08.0"

Dev Dependencies (1)

  1. graphics with-test

Used by (52)

  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 >= "0.4.0"
  10. bistro >= "0.2.0"
  11. caisar >= "0.2.1"
  12. caisar-ir
  13. caisar-xgboost
  14. catala
  15. colibri2
  16. depgraph
  17. doculib >= "1.3.5"
  18. dose3 >= "5.0.1-1"
  19. forester
  20. frama-c >= "8.0" & < "10.0" | >= "22.0" & < "24.0" | >= "28.0~beta"
  21. frenetic >= "3.0.0" & < "3.2.0" | >= "5.0.0"
  22. functoria < "4.0.0~beta1"
  23. GT
  24. git
  25. graphlib
  26. heptagon
  27. hts_shrink < "3.0.1"
  28. irmin
  29. modelica_ml >= "0.2.0"
  30. molenc >= "11.4.0"
  31. not-ocamlfind >= "0.07.01"
  32. nuscr
  33. ocamlgraph_gtk
  34. opa-base
  35. opam-core
  36. opam-lib < "1.3.1"
  37. ott >= "0.33"
  38. pa_ppx_ag >= "0.08"
  39. pfff >= "0.37.1"
  40. planck >= "2.1.1"
  41. prbnmcn-stats >= "0.0.5"
  42. rfsm
  43. rotor
  44. satML-plugin < "1.01"
  45. satyrographos >= "0.0.2.7"
  46. solvuu-build
  47. solvuu_build
  48. sparrow
  49. squirrel
  50. tezos-benchmark
  51. topology >= "0.4.0"
  52. why3 >= "0.85" & < "1.0.0"

Conflicts

None