package pgsolver

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.