pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
Description
A collection of tools for generating, manipulating and - most of all - solving parity games.
Install
- Published
-
28 Jun 2017
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies