Up – Package index » pgsolver » Library pgsolver » Stratimprlocal

Module `Stratimprlocal`

val partially_solve : Paritygame.partial_solver

val solve : Paritygame.global_solver

val register : unit -> unit