PGSolver
PGSolver ist eine Kollektion von Algorithmen und Heuristiken zum Lösen und Bearbeiten von Paritässpielen sowie einiger Benchmarks dafür. Es definiert ein Standard-Format für Paritätsspiele und für Gewinnstrategien. Co-Entwickler ist Oliver Friedmann.
PGSolver ist in OCaml geschrieben. Die Sourcen sind unter der BSD-3-Lizenz verfügbar und werden auf Github gehostet: