A collection of tools for generating, manipulating and - most of all - solving parity games.
Primary LanguageOCamlBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause