package pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games
Install
dune-project
Dependency
Authors
Maintainers
Sources
pgsolver-4.4.tbz
sha256=83e49699803a887bbf318425f5be02513976feba8f50e1c18c8f453046acfac2
sha512=4b7b05f175a5f07a312bc3249d0c82829d9ae3f428ed06fa79a26a32025cdaf653bb3d27ade1e715940cd45e15eac12f0b65594864de162f0cfd5c038de45320
doc/index.html
pgsolver
API
Library pgsolver
Basics
Bigstep
Cliquegame
Cliquegame_aux
Clusteredrandomgame
Clusteredrandomgame_aux
Cunninghamexp
Cunninghamsubexp
Dominiondecomp
Elevators
Elevators_aux
Externalsolver
Fearnleysubexp
Fpiter
Friedmannsubexp
Generatorregistry
Generators
Genetic
Guessstrategy
Info
Jurdzinskigame
Jurdzinskigame_aux
Laddergame
Laddergame_aux
Langincl
Langincl_aux
Localmodelchecker
Mdp
Modelcheckerladder
Modelcheckerladder_aux
Mucalculus
Optstratimprov
Paritygame
Paritygamebitset
Parsers
Pgprofiling
Philosophers
Prioprom
Priopromdelay
Priopromplus
Priopromrecovery
Randomedgeexptest
Randomedgesubexp
Randomfacetsubexp
Randomgame
Randomgame_aux
Recursive
Recursivedullgame
Recursivedullgame_aux
Recursiveladder
Recursiveladder_aux
Roadworks
Roadworks_aux
Satsolve
Smallprogress
Solverregistry
Solvers
Specialsolve
Steadygame
Steadygame_aux
Stratimpralgs
Stratimprdisc
Stratimprgen
Stratimprgenerators
Stratimprgenlist
Stratimprlocal
Stratimprlocal2
Stratimprovement
Stratimprsat
Succinctsmallprogress
Switch_cunningham
Switch_globally_best
Switch_history
Switch_internal
Switch_locally_best
Switch_random
Switch_snare
Switch_zadeh
Switchallexp
Switchallsubexp
Switchbestexp
Switchbestsubexp
Towersofhanoi
Towersofhanoi_aux
Transformations
Univsolve
Verification
Viasat
Whoiswho
Zadehexp
Zadehsubexp
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page