OCaml logo

lascar

A library for manipulating Labeled Transition Systems in OCaml
Description
Install
http://cloud.ip.univ-bpclermont.fr/~serot/lascar/
Authors
Maintainers
Sources
0.5.tar.gz 
md5=ef21f44866b619b8da4d578f6feab5c5
Dependencies
ocamlfind 
build
camlp4
ocaml 
>= "4.03"
Reverse Dependencies
rfsm 
< "1.6-alpha-3"