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 |
| Maintainer | opam-devel@lists.ocaml.org |
| Dependencies |
|
| Source [http] | https://github.com/tcsprojects/pgsolver/archive/v4.1.tar.gz sha256=14855e5b52f3e5cef746e261e39aed54ef3915be46c685d0f835809ae4a812ea md5=db269947469d6236a81bed558cbcc5b6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pgsolver/pgsolver.4.1/opam |
No package is dependent
