[Concurrency] Tool availability announcement: parity game solver
We would like to announce the availability of the PGSolver library, a collection of algorithms for solving (finite) parity games. The current version includes 8 algorithms and 3 heuristics. In order to obtain the source code please visit http://www.tcs.ifi.lmu.de/~mlange/pgsolver where you can also find the documentation with detailed information on the exact content of the [...]