package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

Module `Parsers`

val parse_parity_game : in_channel -> Paritygame.paritygame

val parse_init_parity_game : 
  in_channel ->
  Paritygame.node * Paritygame.paritygame

val parse_solution : in_channel -> Paritygame.solution * Paritygame.strategy