lascarversion

A library for manipulating Labeled Transition Systems in OCaml

AuthorJocelyn Sérot <jocelyn.serot@uca.fr>
LicenseMIT
Published
Homepagehttp://cloud.ip.univ-bpclermont.fr/~serot/lascar/
Issue Trackerjocelyn.serot@uca.fr
MaintainerJocelyn Sérot <jocelyn.serot@uca.fr>
Dependencies
Source [http] http://cloud.ip.univ-bpclermont.fr/~serot/lascar/src/lascar.tar.gz
md5=0c60e5cba5585dda219b5428919593cb
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lascar/lascar.0.5/opam
Required by