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.1.tar.gz
sha256=14855e5b52f3e5cef746e261e39aed54ef3915be46c685d0f835809ae4a812ea
md5=db269947469d6236a81bed558cbcc5b6

Description

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

Published: 28 Jun 2017

Dependencies (9)

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

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.