lascar

A library for manipulating Labeled Transition Systems in OCaml
Description
Install
Published
12 Apr 2018
Authors
Maintainers
Sources
0.5.tar.gz
md5=ef21f44866b619b8da4d578f6feab5c5
Dependencies
Reverse Dependencies
rfsm < "1.6-alpha-3"