A framework for solving parity games written in Scala