pgsolverversion Documentation on ocaml.org
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 |
| Maintainers | Oliver Friedmann and Martin Lange |
| Dependencies | |
| Source [http] | https://github.com/tcsprojects/pgsolver/releases/download/v4.4/pgsolver-4.4.tbz sha256=83e49699803a887bbf318425f5be02513976feba8f50e1c18c8f453046acfac2 sha512=4b7b05f175a5f07a312bc3249d0c82829d9ae3f428ed06fa79a26a32025cdaf653bb3d27ade1e715940cd45e15eac12f0b65594864de162f0cfd5c038de45320 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pgsolver/pgsolver.4.4/opam |
Required by
