Parity Game Solver implementation (first version)