Pinned Repositories
pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
maxbene's Repositories
maxbene/pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.