package pgsolver

  1. Overview
  2. Docs
val parse_parity_game : Stdlib.in_channel -> Paritygame.paritygame
val parse_init_parity_game : Stdlib.in_channel -> Paritygame.node * Paritygame.paritygame
val parse_solution : Stdlib.in_channel -> Paritygame.solution * Paritygame.strategy
OCaml

Innovation. Community. Security.