Up – Package index » pgsolver » Library pgsolver » Succinctsmallprogress

Module `Succinctsmallprogress`

val solve : Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy

val register : unit -> unit