package fadecider
A package for deciding universality and subsumption of omega automata using Ramsey-based methods
Install
dune-project
Dependency
Authors
Maintainers
Sources
fadecider-0.7.tbz
sha256=7a27293d686ddd068a7247693ca8f48b524041ae6b6e9e40438571213bc3728b
sha512=020e418ec241463287b9d56c2a1b840a5f2f68892b703fe17427669be32225c8760751f588e5991cbffc96e9cd09204d4ecb77dfdcb0f6216b200419ded5a6ae