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] https://github.com/jserot/lascar/archive/0.5.tar.gz
sha256=832dda5f7eb4fbebfcafc0707bf662948439c912118c85faa47adabe6c722ac6
md5=ef21f44866b619b8da4d578f6feab5c5
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lascar/lascar.0.5/opam
Required by