lascarversion
A library for manipulating Labeled Transition Systems in OCaml
A library for manipulating Labeled Transition Systems in OCaml
| Author | Jocelyn Sérot <jocelyn.serot@uca.fr> |
|---|---|
| License | MIT |
| Published | |
| Homepage | github.com/jserot/lascar |
| Issue Tracker | jocelyn.serot@uca.fr |
| Maintainer | Jocelyn 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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lascar/lascar.0.6-alpha/opam |
Required by
- rfsm<1.6.0
