package ocamlgraph

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

Install

Dune Dependency

Authors

Maintainers

Sources

ocamlgraph-1.8.8.tar.gz
md5=9d71ca69271055bd22d0dfe4e939831a

Description

Dependencies (2)

  1. ocamlfind build
  2. ocaml < "5.0"

Dev Dependencies

None

Used by (50)

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

Conflicts

None

OCaml

Innovation. Community. Security.