package pgsolver

  1. Overview
  2. Docs
type verifier = Paritygame.paritygame -> Paritygame.solution -> Paritygame.strategy -> (Paritygame.node list * string) option
val verify_solution_strategy : verifier
val verify_solution_strategy_univ : verifier
val verify_solution_strategy_direct : verifier
val verify_solution_strategy_generic : verifier
OCaml

Innovation. Community. Security.