PGSolver
The content on this page was translated automatically.
PGSolver is a collection of algorithms and heuristics for solving and processing parity games as well as some benchmarks for them. It defines a standard format for parity games and winning strategies. Co-developer is Oliver Friedmann.
PGSolver is written in OCaml. The sources are available under the BSD-3 license and are hosted on Github: