lascar

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