PBESPGSOLVE(1) - manual page | User commands

Solve a (P)BES or parity game using a parity game solver.