owl.game.algorithms
Classes
ParityGameSolver