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/pgsolver/Guessstrategy/index.html
Module Guessstrategy
val solve : Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy