pgsolver

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

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

Install
Documentation github.com Edit opam file
Published
28 Jun 2017
Authors
Maintainers
Sources
v4.1.tar.gz
md5=db269947469d6236a81bed558cbcc5b6
Dependencies
ounit build
ocamlfind build
ocamlbuild build
ocaml-sat-solvers <= "0.4"
minisat
extlib-compat
extlib
TCSLib >= "0.2"
ocaml >= "4.05.0" & < "5.0"
Reverse Dependencies