Solving parity games in scala