package pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games
Install
Authors
Maintainers
Sources
v4.1.tar.gz
md5=db269947469d6236a81bed558cbcc5b6
Description
A collection of tools for generating, manipulating and - most of all - solving parity games.
Published: 28 Jun 2017
Dependencies (9)
-
ounit
build
-
ocamlfind
build
-
ocamlbuild
build
-
ocaml-sat-solvers
<= "0.4"
- minisat
- extlib-compat
- extlib
-
TCSLib
>= "0.2"
-
ocaml
>= "4.05.0" & < "5.0"
Dev Dependencies
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page