lascarversion

A library for manipulating Labeled Transition Systems in OCaml

A library for manipulating Labeled Transition Systems in OCaml

AuthorJocelyn Sérot <jocelyn.serot@uca.fr>
LicenseMIT
Published
Homepagehttp://github.com/jserot/lascar
Issue Trackerjocelyn.serot@uca.fr
MaintainerJocelyn Sérot <jocelyn.serot@uca.fr>
Dependencies
Source [http] https://github.com/jserot/lascar/archive/0.7.0.tar.gz
md5=eeed7e1ee24ab2a399305b0cbd4b1ebb
sha512=aa14182eb2da1b4af3d5c3e3fe86cecfe46a49370b626d16a82b5d6771849a9c9d3a3cc62b65aab64a074cfddb19d97bf5ee0a9dcd32b9aa20978da0d9e734ca
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lascar/lascar.0.7.0/opam
Required by