package pgsolver

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.