package pgsolver

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

Innovation. Community. Security.