package pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games
Install
Dune Dependency
Authors
Maintainers
Sources
v4.1.tar.gz
sha256=14855e5b52f3e5cef746e261e39aed54ef3915be46c685d0f835809ae4a812ea
md5=db269947469d6236a81bed558cbcc5b6
doc/index.html
pgsolver
API
Library pgsolver
BasicsBigstepCliquegameClusteredrandomgameCunninghamexpCunninghamsubexpDominiondecompElevatorsFearnleysubexpFpiterFriedmannsubexpGeneratorregistryGeneratorsGeneticGuessstrategyInfoJurdzinskigameLaddergameLanginclLocalmodelcheckerMdpModelcheckerladderMucalculusOptstratimprovParitygameParitygamebitsetParsersPriopromPriopromdelayPriopromplusPriopromrecoveryRandomedgeexptestRandomedgesubexpRandomfacetsubexpRandomgameRecursiveRecursivedullgameRecursiveladderSatsolveSmallprogressSolverregistrySolversSpecialsolveSteadygameStratimpralgsStratimprdiscStratimprgenStratimprgeneratorsStratimprgenlistStratimprlocalStratimprlocal2StratimprovementStratimprsatSwitch_cunninghamSwitch_globally_bestSwitch_historySwitch_internalSwitch_locally_bestSwitch_randomSwitch_snareSwitch_zadehSwitchallexpSwitchallsubexpSwitchbestexpSwitchbestsubexpTowersofhanoiTransformationsUnivsolveVerificationViasatZadehexpZadehsubexp
On This Page