prty

This program solves parity games. It determines the winners and strategies.

How to run

Run prty [parity game.(txt/zip/bz2/gzip/dfl/lzma/br)]

Similar software

• PGSolver: https://github.com/tcsprojects/pgsolver
• Oink: https://github.com/trolando/oink
• mCRL2, PBESsolver: https://www.mcrl2.org/web/user_manual/index.html
• SPGSolver: https://github.com/umbertomarotta/SPGSolver

License

Dual-licensed.

Licensed under the Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0 or the MIT license http://opensource.org/licenses/MIT, at your option. This project may not be copied, modified, or distributed except according to those terms.