Description
A collection of tools for generating, manipulating and - most of all - solving parity games.
package
ocaml5.1.1-pgsolver
Metadata
Version
4.1A collection of tools for generating, manipulating and - most of all - solving parity games.
4.1