pgsolver

AuthorsOliver Friedmann and Martin Lange
LicenseBSD-3-clause
Homepagehttps://github.com/tcsprojects/pgsolver
Issue Trackerhttps://github.com/tcsprojects/pgsolver/issues
Maintaineropam-devel@lists.ocaml.org
Dependencies
&minisat
ocaml-sat-solvers
ocamlbuild
ocamlfind
ounit
TCSLib>= 0.2
|extlib
extlib-compat
Availableocaml-version >= "4.03.0"
PublishedJun 28, 2017
Source [http] https://github.com/tcsprojects/pgsolver/archive/v4.1.tar.gz
db269947469d6236a81bed558cbcc5b6
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pgsolver/pgsolver.4.1/opam

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.

No package is dependent