Up – Package index » pgsolver » Library pgsolver » Externalsolver

Module `Externalsolver`

val solve' : 
  string array ->
  Paritygame.paritygame ->
  Paritygame.solution * Paritygame.strategy

val solve : 
  string array ->
  Paritygame.paritygame ->
  Paritygame.solution * Paritygame.strategy

val register : unit -> unit