package pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games
Install
Dune Dependency
Authors
Maintainers
Sources
v4.3.tar.gz
md5=2a2351836e74173c48bdcd82ccc8521a
sha512=d166662ece175b2249ec564fad9eb461c86341e6004c43bd65e4a32943f5e77b1f2eef31533363d4f0fc91f639ab42120ea24f59add23bda50e1cf46c7e709bb
doc/index.html
pgsolver
API
Library pgsolver
Basics
Bigstep
Cliquegame
Clusteredrandomgame
Cunninghamexp
Cunninghamsubexp
Dominiondecomp
Elevators
Externalsolver
Fearnleysubexp
Fpiter
Friedmannsubexp
Generatorregistry
Generators
Genetic
Guessstrategy
Info
Jurdzinskigame
Laddergame
Langincl
Localmodelchecker
Mdp
Modelcheckerladder
Mucalculus
Optstratimprov
Paritygame
Paritygamebitset
Parsers
Prioprom
Priopromdelay
Priopromplus
Priopromrecovery
Randomedgeexptest
Randomedgesubexp
Randomfacetsubexp
Randomgame
Recursive
Recursivedullgame
Recursiveladder
Roadworks
Satsolve
Smallprogress
Solverregistry
Solvers
Specialsolve
Steadygame
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
Transformations
Univsolve
Verification
Viasat
Zadehexp
Zadehsubexp
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page