Module Smallprogress

val solve_scc_reach : Paritygame.paritygame -> Paritygame.player -> (int * int) array array -> ((int * int) array -> int -> unit) -> Paritygame.solution * Paritygame.strategy
val register : unit -> unit