package ocamlgraph
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=0f962c36f9253df2393955af41b074b6a426b2f92a9def795b2005b57d302d65
sha512=8ee77bc1ef27bef41171b5718a73342dca8adc4b4592ff835038cd21e8c91152a0f9500b4034f664d1db7a09dab1efcc3be5d7c59260d6b33710b82a1fb2f196
Description
Provides both graph data structures and graph algorithms
Tags
graph library algorithms directed graph vertice edge persistent imperativePublished: 31 Aug 2023
README
OCamlgraph
OCamlgraph is a graph library for OCaml. Its contribution is threefold:
It provides an easytouse graph implementation together with several operations and algorithms over graphs, in Graph.Pack.Digraph. It is a reasonably efficient imperative data structure for directed graphs with vertices and edges labeled with integers.
Have a look at this module first in order to get an overview of what this library provides. See also
demo.ml
.Then OCamlgraph provides several other graph implementations for those not satisfied with the one above. Some are persistent (immutable) and other imperative (mutable). Some are directed and other are not. Some have labels for vertices, or labels for edges, or both. Some have abstract types for vertices. etc.
See interface Sig for the graph signatures and modules Persistent and Imperative for the implementations.
These implementations are written as functors: you give the types of vertices labels, edge labels, etc. and you get the data structure as a result.
Finally, OCamlgraph provides several classic operations and algorithms over graphs. They are also written as functors i.e. independently of the data structure for graphs. One consequence is that you can define your own data structure for graphs and yet reuse all the algorithms from this library  you only need to provide a few operations such as iterating over all vertices, over the successors of a vertex, etc.
Documentation
https://backtracking.github.io/ocamlgraph/
Examples
You'll find examples of OCamlgraph use in subdirectory examples/ (demo.ml, demo_planar.ml, color.ml, etc.).
Bug reports
https://github.com/backtracking/ocamlgraph/issues
Dependencies (3)

dune
>= "2.0"
 stdlibshims

ocaml
>= "4.08.0"
Dev Dependencies (1)

graphics
withtest
Used by (52)

acgtk
>= "2.0.0"

acpc
>= "1.2" & < "2.0.0"

altergo
< "1.01"

altgrergo
< "1.01"
 archsat
 awsmcodegen

bap
>= "0.9.2" & < "1.0.0"
 bapphoenix

binsec
>= "0.4.0"

bistro
>= "0.2.0"

caisar
>= "0.2.1"
 caisarir
 caisarxgboost
 catala
 colibri2
 depgraph

doculib
>= "1.3.5"

dose3
>= "5.0.11"
 forester

framac
>= "8.0" & < "10.0"  >= "22.0" & < "24.0"  >= "28.0~beta"

frenetic
>= "3.0.0" & < "3.2.0"  >= "5.0.0"

functoria
< "4.0.0~beta1"
 GT
 git
 graphlib
 heptagon

hts_shrink
< "3.0.1"
 irmin

modelica_ml
>= "0.2.0"

molenc
>= "11.4.0"

notocamlfind
>= "0.07.01"
 nuscr
 ocamlgraph_gtk
 opabase
 opamcore

opamlib
< "1.3.1"

ott
>= "0.33"

pa_ppx_ag
>= "0.08"

pfff
>= "0.37.1"

planck
>= "2.1.1"

prbnmcnstats
>= "0.0.5"
 rfsm
 rotor

satMLplugin
< "1.01"

satyrographos
>= "0.0.2.7"
 solvuubuild
 solvuu_build
 sparrow
 squirrel
 tezosbenchmark

topology
>= "0.4.0"

why3
>= "0.85" & < "1.0.0"
Conflicts
None