pgsolver
Priopromplus
val solve : Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy
val register : unit -> unit