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
Homepagegithub.com/jserot/lascar
Issue Trackerjocelyn.serot@uca.fr
MaintainerJocelyn Sérot <jocelyn.serot@uca.fr>
Dependencies
Source [http] https://github.com/jserot/lascar/releases/download/0.6-alpha/lascar-0.6-alpha.tbz
sha256=e33fd94f167bd7bc69f30d7a550226126692a00dac9b29c28ff0ff0aca7d7a21
sha512=98fe84ea351a288d371490f002c52c2e3637841f7fafadb1c3a1acb82befc436bbc6321b1c37fb1e2121b595e7fcb33da45510f3b623006a1d1b56d905313058
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lascar/lascar.0.6-alpha/opam
Required by