pgsolver
Externalsolver
val solve' : string array -> Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy
val solve : string array -> Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy
val register : unit -> unit