ParityGameSolver is a C++ library for determining the winner of parity games.
The library provides an implementation of the SmallProgressMeasures algorithm with multiple lifting strategy. Among the strategies is the ImprovedWorkingList technique, that provides a heuristic that turns out to be good in practice.