package rfsm

  1. Overview
  2. No Docs
A toolset for describing and simulating StateChart-like state diagrams

Install 

dune-project
 Dependency

github.com Edit opam file Versions (9)

Authors

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Sources

2.3.tar.gz
md5=572085844bca39268518ea33efcb46a0
sha512=6b2d8ee63e579facc7ef687eb798f66c7900fb406b7b131bae43fdd6dcfd866906121e3f297a522c49c8abe99dc831b4c4116565706b3705bbfa4e1f2d991097

Description

Published: 11 Jan 2026

Dependencies (6)

  1. yojson >= "2.0"
  2. ocaml >= "5.0.0"
  3. ppx_deriving >= "5.0"
  4. ocamlgraph >= "2.0"
  5. menhir >= "2.0"
  6. dune >= "3.11"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None