A naive, quick, and dirty implementation of the McNaughton-Zielonka algorithm for solving parity games.
"Infinite games on finitely coloured graphs with applications to automata on infinite trees"
W. Zielonka
Volume 200 of Theoretical Computer Science, 1998, pages 135-183
This code has been tested using OpenJDK 18.0.2.1 on Windows 10 version 21H2.
Copyright 2014-2022 Sebastian Muskalla
MIT License, see LICENSE