ParityGameSolver. Quick & dirty implementation of the McNaughton-Zielonka solver for parity games

github.com/SebastianMuskalla/ParityGameSolver

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.