lascar

AuthorJocelyn Sérot <jocelyn.serot@uca.fr>
LicenseMIT
Homepagehttp://cloud.ip.univ-bpclermont.fr/~serot/lascar/
Issue Trackerjocelyn.serot@uca.fr
MaintainerJocelyn Sérot <jocelyn.serot@uca.fr>
Dependencies
&camlp4
ocamlfind
Availableocaml-version >= "4.03"
PublishedApr 9, 2018
Source [http] http://cloud.ip.univ-bpclermont.fr/~serot/lascar/src/lascar.tar.gz
0c60e5cba5585dda219b5428919593cb
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lascar/lascar.0.5/opam

A library for manipulating Labeled Transition Systems in OCaml

Necessary for
rfsm