Up
–
Package index
»
pgsolver
» Library
pgsolver
» Stratimprgen
Module
Stratimprgen
pgsolver
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
CommandLine
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
module
CommandLine
:
sig
...
end