ocamlPackages.pgsolver

Collection of tools for generating, manipulating and - most of all - solving parity games

Name

pgsolver

Main Program

pgsolver

Programs

• auso
• benchmark
• benchstratimpr
• combine
• complexdecomp
• compressor
• fullimprarena
• imprarena
• infotool
• itersat
• obfuscator
• pgsolver
• policyitervis
• transformer
• winningstrats

Homepage

• https://github.com/tcsprojects/pgsolver

Version

4.4

License

• BSD 3-clause "New" or "Revised" License

Maintainers

• Merlin Humml

Platforms

• aarch64-linux
• armv5tel-linux
• armv6l-linux
• armv7a-linux
• armv7l-linux
• i686-linux
• loongarch64-linux
• m68k-linux
• microblaze-linux
• microblazeel-linux
• mips-linux
• mips64-linux
• mips64el-linux
• mipsel-linux
• powerpc-linux
• powerpc64-linux
• powerpc64le-linux
• riscv32-linux
• riscv64-linux
• s390-linux
• s390x-linux
• x86_64-linux
• x86_64-darwin
• aarch64-darwin

Defined

Source