Recursive (p.pgsolver.4.3.doc.pgsolver.Recursive)

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

val register : unit -> unit

val solve2 : 
  (Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy) ref ->
  Paritygame.paritygame ->
  Paritygame.solution * Paritygame.strategy

val fallback_solve : 
  Paritygame.paritygame ->
  (Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy) ->
  Univsolve.universal_solve_options ->
  Paritygame.solution * Paritygame.strategy

val mcnaughton_zielonka : 
  Paritygame.paritygame ->
  Univsolve.universal_solve_options ->
  Paritygame.solution * Paritygame.strategy