package pgsolver

PGSolver

A collection of tools for generating, manipulating and - most of all - solving parity games.

Version 4.4, Copyright (c) 2008-2025, BSD 3 LICENSE

It is developed and maintained by:

• (c) Oliver Friedmann, University of Munich (http://oliverfriedmann.com)
• (c) Martin Lange, University of Kassel (http://carrick.fmv.informatik.uni-kassel.de/~mlange/)

Documentation

Please consult ./doc/pgsolver.pdf for a guide to installation, usage and development of this tool.

OPAM

You can install this package via OPAM under the name pgsolver.

Commands

Build

dune build

Release

1. Change version in dune-project.
2. Update CHANGES.md.
3. Run dune build.
4. Commit

  git status
  git add -A
  git commit -m "message"
  git tag v0.x [--force]
  git push origin master --tags [--force]

1. Release

  dune-release tag
  dune-release distrib
  dune-release publish
  dune-release opam pkg
  dune-release opam submit

Examples

Run the exponential lower bound construction for Zadeh's rule on PGSolver:

  bin/stratimprgen -pg zadehexp [n] | bin/pgsolver -dsd -dgo -dlo -dsg -v 2 -jh -global policyiter -x -sfse

where [n] is the index of the game, e.g. 3.