package rfsm
A toolset for describing and simulating StateChart-like state diagrams
Install
Dune Dependency
Authors
Maintainers
Sources
rfsm-1.4.2.tar.gz
sha256=3837212d9e0ca99c04a4f076aea2a7601ae1cefd54a8a6072e2f21f527e1faf3
md5=2febda48d5fed77b887778f65d4c2685
Description
Published: 01 Apr 2019
Dependencies (7)
-
lascar
< "0.6.0" -
menhir
< "20211215" - ocamlgraph
-
ocamlbuild
build -
ocamlfind
build - camlp4
-
ocaml
>= "4.03"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page