PGSolver
This page contains automatically translated content.
PGSolver
The PGSolver library is a collection of algorithms for solving parity games that appear somewhere in the literature, as well as some new heuristics etc. It also defines a standard specification format for parity games as well as winning regions and strategies, and provides a collection of benchmark games. Co-developer of this tool is Oliver Friedmann.
PGSolver ist written in OCaml. The sources are available under the BSD-3 license and are being hosted on Github: