package pgsolver

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

A collection of tools for generating, manipulating and - most of all - solving parity games

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

O

Oliver Friedmann
M

Martin Lange

Maintainers

O

opam-devel@lists.ocaml.org

Sources

v4.1.tar.gz

sha256=14855e5b52f3e5cef746e261e39aed54ef3915be46c685d0f835809ae4a812ea

md5=db269947469d6236a81bed558cbcc5b6

doc/pgsolver/Smallprogress/index.html

Module `Smallprogress`

val solve_scc_reach : 
  Paritygame.paritygame ->
  Paritygame.player ->
  (int * int) array array ->
  ((int * int) array -> int -> unit) ->
  Paritygame.solution * Paritygame.strategy

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

val register : unit -> unit