package pgsolver

  1. Overview
  2. Docs
A collection of tools for generating, manipulating and - most of all - solving parity games

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Maintainers

  1. O
    opam-devel@lists.ocaml.org

Sources

v4.3.tar.gz
md5=2a2351836e74173c48bdcd82ccc8521a
sha512=d166662ece175b2249ec564fad9eb461c86341e6004c43bd65e4a32943f5e77b1f2eef31533363d4f0fc91f639ab42120ea24f59add23bda50e1cf46c7e709bb

doc/pgsolver/Satsolve/index.html

Module Satsolve

val register : unit -> unit