lascarversion Documentation on ocaml.org
A library for manipulating Labeled Transition Systems in OCaml
| Author | Jocelyn Sérot <jocelyn.serot@uca.fr> |
|---|---|
| License | MIT |
| Published | |
| Homepage | http://cloud.ip.univ-bpclermont.fr/~serot/lascar/ |
| Issue Tracker | jocelyn.serot@uca.fr |
| Maintainer | Jocelyn Sérot <jocelyn.serot@uca.fr> |
| Dependencies | |
| Source [http] | https://github.com/jserot/lascar/archive/0.5.tar.gz sha256=832dda5f7eb4fbebfcafc0707bf662948439c912118c85faa47adabe6c722ac6 md5=ef21f44866b619b8da4d578f6feab5c5 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lascar/lascar.0.5/opam |
Required by
- rfsm<1.6-alpha-3
