A GPU-based PG solver

Overview

The GPUPG package contains GPU-based implementations of several algorithms for solving parity games. Currently the package only contains a solution for MS Visual Studio 2010. For the CUDA versions please install the Nvidia CUDA toolkit (tested v5.0). For the OpenCL versions of the solvers you will need depending on your system either the Nvidia CUDA toolkit (tested v5.0, only GPU) or the AMD APP SDK (tested v2.7, GPU and CPU) or the Intel OpenCL SDK (tested beta 2013, only CPU). Corresponding project files are included in the solution. (So far only Win32 targets are defined, but x64 should work, too.) We currently use the input format of PGSolver for parity game arenas. To run the solvers, simply pass the filename of the arena to the respective solvers.

Source code and benchmark arenas

• Contact us if you are interested in the source code, precompiled executables (Win32) can be downloaded [here]

  (Depending on the executable, additional drivers need to be installed, e.g., the OpenCL driver for Intel CPUs.)

• Languageinclusion.org arenas (constructed from the NBAs of languageinclusion.org using fair simulation, see e.g. Etessami et al.).
• Elevator game arenas (provided by PGSolver).
• Random arenas (generated by PGSolver).

Contact

• Philipp Hoffmann (Email: ph DOT hoffmann AT tum DOT de)
• Michael Luttenberger (Email: luttenbe AT model DOT in DOT tum DOT de)