prty

本程序解决偶校验游戏。它确定胜者和策略。

如何运行

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

类似软件

• 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

许可证

双许可。

根据您的选择，受Apache许可证第2.0版 http://www.apache.org/licenses/LICENSE-2.0 或MIT许可证 http://opensource.org/licenses/MIT 许可，本项目不得复制、修改或分发，除非根据这些条款。