LazyGraph is an experiment arround lazy representation of graphs to model and visit potentially infinite transition systems.
compiling
dune build
generating the doc
dune build @doc
Doc entry point
_build/default/_doc/_html/index.html
Generating an example
dune exec ./examples/example.exe