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/pgsolver/Solvers/index.html
Module Solvers
val register_solver_factory :
Solverregistry.global_solver_factory ->
string ->
string ->
string ->
unit
val register_solver :
Paritygame.global_solver ->
string ->
string ->
string ->
unit
val find_solver :
string ->
Solverregistry.global_solver_factory * string * string
val enum_solvers :
(Solverregistry.global_solver_factory -> string -> string -> string -> unit) ->
unit
val fold_solvers :
(Solverregistry.global_solver_factory ->
string ->
string ->
string ->
'a ->
'a) ->
'a ->
'a
val register_partial_solver_factory :
Solverregistry.partial_solver_factory ->
string ->
string ->
string ->
unit
val register_partial_solver :
Paritygame.partial_solver ->
string ->
string ->
string ->
unit
val find_partial_solver :
string ->
Solverregistry.partial_solver_factory * string * string
val enum_partial_solvers :
(Solverregistry.partial_solver_factory -> string -> string -> string -> unit) ->
unit
val fold_partial_solvers :
(Solverregistry.partial_solver_factory ->
string ->
string ->
string ->
'a ->
'a) ->
'a ->
'a
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>