package pgsolver

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Description

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

Published: 13 Aug 2024

Dependencies (9)

  1. ounit build
  2. ocamlfind build
  3. ocamlbuild build
  4. ocaml-sat-solvers >= "0.7.1"
  5. minisat
  6. extlib-compat
  7. extlib
  8. TCSLib >= "0.2"
  9. ocaml >= "4.08.0" & < "5.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.