# OASIS_START
# DO NOT EDIT (digest: 7d1ab25d32bcb25c6175adc061458140)
version = "4.3"
description =
"A collection of tools for generating, manipulating and - most of all - solving parity games."
requires = "num str TCSLib extlib ocaml-sat-solvers minisat unix threads"
archive(byte) = "pgsolver.cma"
archive(byte, plugin) = "pgsolver.cma"
archive(native) = "pgsolver.cmxa"
archive(native, plugin) = "pgsolver.cmxs"
exists_if = "pgsolver.cma"
# OASIS_STOP

