fadeciderversion Documentation on ocaml.org
A package for deciding universality and subsumption of omega automata using Ramsey-based methods
A package for deciding universality and subsumption of omega automata using Ramsey-based methods.
| Authors | Oliver Friedmann, Felix Klaedtke and Martin Lange |
|---|---|
| License | BSD-3-clause |
| Published | |
| Homepage | https://github.com/tcsprojects/fadecider |
| Issue Tracker | https://github.com/tcsprojects/fadecider/issues |
| Maintainers | Oliver Friedmann, Felix Klaedtke and Martin Lange |
| Dependencies | |
| Source [http] | https://github.com/tcsprojects/fadecider/releases/download/v0.7/fadecider-0.7.tbz sha256=7a27293d686ddd068a7247693ca8f48b524041ae6b6e9e40438571213bc3728b sha512=020e418ec241463287b9d56c2a1b840a5f2f68892b703fe17427669be32225c8760751f588e5991cbffc96e9cd09204d4ecb77dfdcb0f6216b200419ded5a6ae |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fadecider/fadecider.0.7/opam |
No package is dependent
