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
Sources
v4.1.tar.gz
md5=db269947469d6236a81bed558cbcc5b6
Dependencies
Reverse Dependencies