Opam Package pgsolver.4.1

Package info

opam-namepgsolver
opam-version4.1
synopsisA collection of tools for generating, manipulating and - most of all - solving parity games.
description A collection of tools for generating, manipulating and - most of all - solving parity games.
authors
  • Oliver Friedmann
  • Martin Lange
homepagehttps://github.com/tcsprojects/pgsolver
licenseBSD-3-Clause
deps (8)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

pgsolver

Package files

lib/pgsolver/zadehsubexp.cmx
lib/pgsolver/zadehsubexp.cmti
lib/pgsolver/zadehsubexp.cmt
lib/pgsolver/zadehsubexp.cmi
lib/pgsolver/zadehsubexp.annot
lib/pgsolver/zadehexp.cmx
lib/pgsolver/zadehexp.cmti
lib/pgsolver/zadehexp.cmt
lib/pgsolver/zadehexp.cmi
lib/pgsolver/zadehexp.annot
lib/pgsolver/viasat.cmx
lib/pgsolver/viasat.cmti
lib/pgsolver/viasat.cmt
lib/pgsolver/viasat.cmi
lib/pgsolver/viasat.annot
lib/pgsolver/verification.cmx
lib/pgsolver/verification.cmti
lib/pgsolver/verification.cmt
lib/pgsolver/verification.cmi
lib/pgsolver/verification.annot
lib/pgsolver/univsolve.cmx
lib/pgsolver/univsolve.cmti
lib/pgsolver/univsolve.cmt
lib/pgsolver/univsolve.cmi
lib/pgsolver/univsolve.annot
lib/pgsolver/transformations.cmx
lib/pgsolver/transformations.cmti
lib/pgsolver/transformations.cmt
lib/pgsolver/transformations.cmi
lib/pgsolver/transformations.annot
lib/pgsolver/towersofhanoi.cmx
lib/pgsolver/towersofhanoi.cmti
lib/pgsolver/towersofhanoi.cmt
lib/pgsolver/towersofhanoi.cmi
lib/pgsolver/towersofhanoi.annot
lib/pgsolver/switchbestsubexp.cmx
lib/pgsolver/switchbestsubexp.cmti
lib/pgsolver/switchbestsubexp.cmt
lib/pgsolver/switchbestsubexp.cmi
lib/pgsolver/switchbestsubexp.annot
lib/pgsolver/switchbestexp.cmx
lib/pgsolver/switchbestexp.cmti
lib/pgsolver/switchbestexp.cmt
lib/pgsolver/switchbestexp.cmi
lib/pgsolver/switchbestexp.annot
lib/pgsolver/switchallsubexp.cmx
lib/pgsolver/switchallsubexp.cmti
lib/pgsolver/switchallsubexp.cmt
lib/pgsolver/switchallsubexp.cmi
lib/pgsolver/switchallsubexp.annot
lib/pgsolver/switchallexp.cmx
lib/pgsolver/switchallexp.cmti
lib/pgsolver/switchallexp.cmt
lib/pgsolver/switchallexp.cmi
lib/pgsolver/switchallexp.annot
lib/pgsolver/switch_zadeh.cmx
lib/pgsolver/switch_zadeh.cmti
lib/pgsolver/switch_zadeh.cmt
lib/pgsolver/switch_zadeh.cmi
lib/pgsolver/switch_zadeh.annot
lib/pgsolver/switch_snare.cmx
lib/pgsolver/switch_snare.cmti
lib/pgsolver/switch_snare.cmt
lib/pgsolver/switch_snare.cmi
lib/pgsolver/switch_snare.annot
lib/pgsolver/switch_random.cmx
lib/pgsolver/switch_random.cmti
lib/pgsolver/switch_random.cmt
lib/pgsolver/switch_random.cmi
lib/pgsolver/switch_random.annot
lib/pgsolver/switch_locally_best.cmx
lib/pgsolver/switch_locally_best.cmti
lib/pgsolver/switch_locally_best.cmt
lib/pgsolver/switch_locally_best.cmi
lib/pgsolver/switch_locally_best.annot
lib/pgsolver/switch_internal.cmx
lib/pgsolver/switch_internal.cmti
lib/pgsolver/switch_internal.cmt
lib/pgsolver/switch_internal.cmi
lib/pgsolver/switch_internal.annot
lib/pgsolver/switch_history.cmx
lib/pgsolver/switch_history.cmti
lib/pgsolver/switch_history.cmt
lib/pgsolver/switch_history.cmi
lib/pgsolver/switch_history.annot
lib/pgsolver/switch_globally_best.cmx
lib/pgsolver/switch_globally_best.cmti
lib/pgsolver/switch_globally_best.cmt
lib/pgsolver/switch_globally_best.cmi
lib/pgsolver/switch_globally_best.annot
lib/pgsolver/switch_cunningham.cmx
lib/pgsolver/switch_cunningham.cmti
lib/pgsolver/switch_cunningham.cmt
lib/pgsolver/switch_cunningham.cmi
lib/pgsolver/switch_cunningham.annot
lib/pgsolver/stratimprsat.cmx
lib/pgsolver/stratimprsat.cmti
lib/pgsolver/stratimprsat.cmt
lib/pgsolver/stratimprsat.cmi
lib/pgsolver/stratimprsat.annot
lib/pgsolver/stratimprovement.cmx
lib/pgsolver/stratimprovement.cmti
lib/pgsolver/stratimprovement.cmt
lib/pgsolver/stratimprovement.cmi
lib/pgsolver/stratimprovement.annot
lib/pgsolver/stratimprlocal2.cmx
lib/pgsolver/stratimprlocal2.cmti
lib/pgsolver/stratimprlocal2.cmt
lib/pgsolver/stratimprlocal2.cmi
lib/pgsolver/stratimprlocal2.annot
lib/pgsolver/stratimprlocal.cmx
lib/pgsolver/stratimprlocal.cmti
lib/pgsolver/stratimprlocal.cmt
lib/pgsolver/stratimprlocal.cmi
lib/pgsolver/stratimprlocal.annot
lib/pgsolver/stratimprgenlist.cmx
lib/pgsolver/stratimprgenlist.cmti
lib/pgsolver/stratimprgenlist.cmt
lib/pgsolver/stratimprgenlist.cmi
lib/pgsolver/stratimprgenlist.annot
lib/pgsolver/stratimprgenerators.cmx
lib/pgsolver/stratimprgenerators.cmti
lib/pgsolver/stratimprgenerators.cmt
lib/pgsolver/stratimprgenerators.cmi
lib/pgsolver/stratimprgenerators.annot
lib/pgsolver/stratimprgen.cmx
lib/pgsolver/stratimprgen.cmt
lib/pgsolver/stratimprgen.cmi
lib/pgsolver/stratimprgen.annot
lib/pgsolver/stratimprdisc.cmx
lib/pgsolver/stratimprdisc.cmti
lib/pgsolver/stratimprdisc.cmt
lib/pgsolver/stratimprdisc.cmi
lib/pgsolver/stratimprdisc.annot
lib/pgsolver/stratimpralgs.cmx
lib/pgsolver/stratimpralgs.cmti
lib/pgsolver/stratimpralgs.cmt
lib/pgsolver/stratimpralgs.cmi
lib/pgsolver/stratimpralgs.annot
lib/pgsolver/steadygame.cmx
lib/pgsolver/steadygame.cmti
lib/pgsolver/steadygame.cmt
lib/pgsolver/steadygame.cmi
lib/pgsolver/steadygame.annot
lib/pgsolver/specialsolve.cmx
lib/pgsolver/specialsolve.cmti
lib/pgsolver/specialsolve.cmt
lib/pgsolver/specialsolve.cmi
lib/pgsolver/specialsolve.annot
lib/pgsolver/solvers.cmx
lib/pgsolver/solvers.cmti
lib/pgsolver/solvers.cmt
lib/pgsolver/solvers.cmi
lib/pgsolver/solvers.annot
lib/pgsolver/solverregistry.cmx
lib/pgsolver/solverregistry.cmti
lib/pgsolver/solverregistry.cmt
lib/pgsolver/solverregistry.cmi
lib/pgsolver/solverregistry.annot
lib/pgsolver/smallprogress.cmx
lib/pgsolver/smallprogress.cmti
lib/pgsolver/smallprogress.cmt
lib/pgsolver/smallprogress.cmi
lib/pgsolver/smallprogress.annot
lib/pgsolver/satsolve.cmx
lib/pgsolver/satsolve.cmti
lib/pgsolver/satsolve.cmt
lib/pgsolver/satsolve.cmi
lib/pgsolver/satsolve.annot
lib/pgsolver/recursiveladder.cmx
lib/pgsolver/recursiveladder.cmti
lib/pgsolver/recursiveladder.cmt
lib/pgsolver/recursiveladder.cmi
lib/pgsolver/recursiveladder.annot
lib/pgsolver/recursivedullgame.cmx
lib/pgsolver/recursivedullgame.cmti
lib/pgsolver/recursivedullgame.cmt
lib/pgsolver/recursivedullgame.cmi
lib/pgsolver/recursivedullgame.annot
lib/pgsolver/recursive.cmx
lib/pgsolver/recursive.cmti
lib/pgsolver/recursive.cmt
lib/pgsolver/recursive.cmi
lib/pgsolver/recursive.annot
lib/pgsolver/randomgame.cmx
lib/pgsolver/randomgame.cmti
lib/pgsolver/randomgame.cmt
lib/pgsolver/randomgame.cmi
lib/pgsolver/randomgame.annot
lib/pgsolver/randomfacetsubexp.cmx
lib/pgsolver/randomfacetsubexp.cmti
lib/pgsolver/randomfacetsubexp.cmt
lib/pgsolver/randomfacetsubexp.cmi
lib/pgsolver/randomfacetsubexp.annot
lib/pgsolver/randomedgesubexp.cmx
lib/pgsolver/randomedgesubexp.cmti
lib/pgsolver/randomedgesubexp.cmt
lib/pgsolver/randomedgesubexp.cmi
lib/pgsolver/randomedgesubexp.annot
lib/pgsolver/randomedgeexptest.cmx
lib/pgsolver/randomedgeexptest.cmti
lib/pgsolver/randomedgeexptest.cmt
lib/pgsolver/randomedgeexptest.cmi
lib/pgsolver/randomedgeexptest.annot
lib/pgsolver/priopromrecovery.cmx
lib/pgsolver/priopromrecovery.cmti
lib/pgsolver/priopromrecovery.cmt
lib/pgsolver/priopromrecovery.cmi
lib/pgsolver/priopromrecovery.annot
lib/pgsolver/priopromplus.cmx
lib/pgsolver/priopromplus.cmti
lib/pgsolver/priopromplus.cmt
lib/pgsolver/priopromplus.cmi
lib/pgsolver/priopromplus.annot
lib/pgsolver/priopromdelay.cmx
lib/pgsolver/priopromdelay.cmti
lib/pgsolver/priopromdelay.cmt
lib/pgsolver/priopromdelay.cmi
lib/pgsolver/priopromdelay.annot
lib/pgsolver/prioprom.cmx
lib/pgsolver/prioprom.cmti
lib/pgsolver/prioprom.cmt
lib/pgsolver/prioprom.cmi
lib/pgsolver/prioprom.annot
lib/pgsolver/pgsolver.cmxs
lib/pgsolver/pgsolver.cmxa
lib/pgsolver/pgsolver.cma
lib/pgsolver/pgsolver.a
lib/pgsolver/parsers.cmx
lib/pgsolver/parsers.cmti
lib/pgsolver/parsers.cmt
lib/pgsolver/parsers.cmi
lib/pgsolver/parsers.annot
lib/pgsolver/paritygamebitset.cmx
lib/pgsolver/paritygamebitset.cmti
lib/pgsolver/paritygamebitset.cmt
lib/pgsolver/paritygamebitset.cmi
lib/pgsolver/paritygamebitset.annot
lib/pgsolver/paritygame.cmx
lib/pgsolver/paritygame.cmti
lib/pgsolver/paritygame.cmt
lib/pgsolver/paritygame.cmi
lib/pgsolver/paritygame.annot
lib/pgsolver/optstratimprov.cmx
lib/pgsolver/optstratimprov.cmti
lib/pgsolver/optstratimprov.cmt
lib/pgsolver/optstratimprov.cmi
lib/pgsolver/optstratimprov.annot
lib/pgsolver/mucalculus.cmx
lib/pgsolver/mucalculus.cmti
lib/pgsolver/mucalculus.cmt
lib/pgsolver/mucalculus.cmi
lib/pgsolver/mucalculus.annot
lib/pgsolver/modelcheckerladder.cmx
lib/pgsolver/modelcheckerladder.cmti
lib/pgsolver/modelcheckerladder.cmt
lib/pgsolver/modelcheckerladder.cmi
lib/pgsolver/modelcheckerladder.annot
lib/pgsolver/mdp.cmx
lib/pgsolver/mdp.cmti
lib/pgsolver/mdp.cmt
lib/pgsolver/mdp.cmi
lib/pgsolver/mdp.annot
lib/pgsolver/localmodelchecker.cmx
lib/pgsolver/localmodelchecker.cmti
lib/pgsolver/localmodelchecker.cmt
lib/pgsolver/localmodelchecker.cmi
lib/pgsolver/localmodelchecker.annot
lib/pgsolver/langincl.cmx
lib/pgsolver/langincl.cmti
lib/pgsolver/langincl.cmt
lib/pgsolver/langincl.cmi
lib/pgsolver/langincl.annot
lib/pgsolver/laddergame.cmx
lib/pgsolver/laddergame.cmti
lib/pgsolver/laddergame.cmt
lib/pgsolver/laddergame.cmi
lib/pgsolver/laddergame.annot
lib/pgsolver/jurdzinskigame.cmx
lib/pgsolver/jurdzinskigame.cmti
lib/pgsolver/jurdzinskigame.cmt
lib/pgsolver/jurdzinskigame.cmi
lib/pgsolver/jurdzinskigame.annot
lib/pgsolver/info.cmx
lib/pgsolver/info.cmti
lib/pgsolver/info.cmt
lib/pgsolver/info.cmi
lib/pgsolver/info.annot
lib/pgsolver/guessstrategy.cmx
lib/pgsolver/guessstrategy.cmti
lib/pgsolver/guessstrategy.cmt
lib/pgsolver/guessstrategy.cmi
lib/pgsolver/guessstrategy.annot
lib/pgsolver/genetic.cmx
lib/pgsolver/genetic.cmti
lib/pgsolver/genetic.cmt
lib/pgsolver/genetic.cmi
lib/pgsolver/genetic.annot
lib/pgsolver/generators.cmx
lib/pgsolver/generators.cmti
lib/pgsolver/generators.cmt
lib/pgsolver/generators.cmi
lib/pgsolver/generators.annot
lib/pgsolver/generatorregistry.cmx
lib/pgsolver/generatorregistry.cmti
lib/pgsolver/generatorregistry.cmt
lib/pgsolver/generatorregistry.cmi
lib/pgsolver/generatorregistry.annot
lib/pgsolver/friedmannsubexp.cmx
lib/pgsolver/friedmannsubexp.cmti
lib/pgsolver/friedmannsubexp.cmt
lib/pgsolver/friedmannsubexp.cmi
lib/pgsolver/friedmannsubexp.annot
lib/pgsolver/fpiter.cmx
lib/pgsolver/fpiter.cmti
lib/pgsolver/fpiter.cmt
lib/pgsolver/fpiter.cmi
lib/pgsolver/fpiter.annot
lib/pgsolver/fearnleysubexp.cmx
lib/pgsolver/fearnleysubexp.cmti
lib/pgsolver/fearnleysubexp.cmt
lib/pgsolver/fearnleysubexp.cmi
lib/pgsolver/fearnleysubexp.annot
lib/pgsolver/elevators.cmx
lib/pgsolver/elevators.cmti
lib/pgsolver/elevators.cmt
lib/pgsolver/elevators.cmi
lib/pgsolver/elevators.annot
lib/pgsolver/dominiondecomp.cmx
lib/pgsolver/dominiondecomp.cmti
lib/pgsolver/dominiondecomp.cmt
lib/pgsolver/dominiondecomp.cmi
lib/pgsolver/dominiondecomp.annot
lib/pgsolver/cunninghamsubexp.cmx
lib/pgsolver/cunninghamsubexp.cmti
lib/pgsolver/cunninghamsubexp.cmt
lib/pgsolver/cunninghamsubexp.cmi
lib/pgsolver/cunninghamsubexp.annot
lib/pgsolver/cunninghamexp.cmx
lib/pgsolver/cunninghamexp.cmti
lib/pgsolver/cunninghamexp.cmt
lib/pgsolver/cunninghamexp.cmi
lib/pgsolver/cunninghamexp.annot
lib/pgsolver/clusteredrandomgame.cmx
lib/pgsolver/clusteredrandomgame.cmti
lib/pgsolver/clusteredrandomgame.cmt
lib/pgsolver/clusteredrandomgame.cmi
lib/pgsolver/clusteredrandomgame.annot
lib/pgsolver/cliquegame.cmx
lib/pgsolver/cliquegame.cmti
lib/pgsolver/cliquegame.cmt
lib/pgsolver/cliquegame.cmi
lib/pgsolver/cliquegame.annot
lib/pgsolver/bigstep.cmx
lib/pgsolver/bigstep.cmti
lib/pgsolver/bigstep.cmt
lib/pgsolver/bigstep.cmi
lib/pgsolver/bigstep.annot
lib/pgsolver/basics.cmx
lib/pgsolver/basics.cmti
lib/pgsolver/basics.cmt
lib/pgsolver/basics.cmi
lib/pgsolver/basics.annot
lib/pgsolver/META
lib/pgsolver
etc/pgsolver/setup.ml
etc/pgsolver/setup.log
etc/pgsolver/setup.data
etc/pgsolver
bin/winningstrats-bin
bin/transformer-bin
bin/towersofhanoi-bin
bin/stratimprgen-bin
bin/steadygame-bin
bin/solverstest-bin
bin/recursiveladder-bin
bin/recursivedullgame-bin
bin/randomgame-bin
bin/policyitervis-bin
bin/pgsolver-bin
bin/obfuscator-bin
bin/modelcheckerladder-bin
bin/langincl-bin
bin/laddergame-bin
bin/jurdzinskigame-bin
bin/itersat-bin
bin/infotool-bin
bin/imprarena-bin
bin/fullimprarena-bin
bin/elevators-bin
bin/compressor-bin
bin/complexdecomp-bin
bin/combine-bin
bin/clusteredrandomgame-bin
bin/cliquegame-bin
bin/benchstratimpr-bin
bin/benchmark-bin
bin/auso-bin