package pgsolver
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)
-
ounit
build
-
ocamlfind
build
-
ocamlbuild
build
-
ocaml-sat-solvers
>= "0.7.1"
- minisat
- extlib-compat
- extlib
-
TCSLib
>= "0.2"
-
ocaml
>= "4.08.0" & < "5.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page