A package for deciding universality and subsumption of omega automata using Ramsey-based methods.