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.

AuthorsOliver Friedmann and Martin Lange
LicenseBSD-3-clause
Published
Homepagehttps://github.com/tcsprojects/pgsolver
Issue Trackerhttps://github.com/tcsprojects/pgsolver/issues
Maintaineropam-devel@lists.ocaml.org
Dependencies
Source [http] https://github.com/tcsprojects/pgsolver/archive/v4.1.tar.gz
md5=db269947469d6236a81bed558cbcc5b6
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pgsolver/pgsolver.4.1/opam
No package is dependent