Michael Weber: A Multi-Core Solver for Parity Games