pgsolverversion
A collection of tools for generating, manipulating and - most of all - solving parity games
A collection of tools for generating, manipulating and - most of all - solving parity games.
| Authors | Oliver Friedmann and Martin Lange |
|---|---|
| License | BSD-3-clause |
| Published | |
| Homepage | https://github.com/tcsprojects/pgsolver |
| Issue Tracker | https://github.com/tcsprojects/pgsolver/issues |
| Maintainer | opam-devel@lists.ocaml.org |
| Dependencies |
|
| Source [http] | https://github.com/tcsprojects/pgsolver/archive/refs/tags/v4.3.tar.gz md5=2a2351836e74173c48bdcd82ccc8521a sha512=d166662ece175b2249ec564fad9eb461c86341e6004c43bd65e4a32943f5e77b1f2eef31533363d4f0fc91f639ab42120ea24f59add23bda50e1cf46c7e709bb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pgsolver/pgsolver.4.3/opam |
No package is dependent
