package rfsm

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

Install

Dune Dependency

Authors

Maintainers

Sources

rfsm.tar.gz
md5=282f7edd81e19e0a5e3856d42759158a
sha512=7c0222cceab482593366ab9b8cc4cd3b10aa49b41d183630a825809be3dee4b701a7381c2789cda82a70f43ee49db321b400401ab07cfa335e76604223d55c87