this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "opam-devel@lists.ocaml.org"
3authors: [ "Oliver Friedmann"
4 "Martin Lange" ]
5license: "BSD-3-clause"
6homepage: "https://github.com/tcsprojects/pgsolver"
7dev-repo: "git://github.com/tcsprojects/pgsolver.git"
8bug-reports: "https://github.com/tcsprojects/pgsolver/issues"
9build: [
10 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
11 ["ocaml" "setup.ml" "-build"]
12 ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
13 ["ocaml" "setup.ml" "-build"] {with-test}
14 ["ocaml" "setup.ml" "-test"] {with-test}
15]
16install: ["ocaml" "setup.ml" "-install"]
17remove: [
18 ["ocaml" "%{etc}%/pgsolver/setup.ml" "-C" "%{etc}%/pgsolver" "-uninstall"]
19]
20depends: [
21 "ocaml" {>= "4.08.0" & < "5.0"}
22 "TCSLib" {>= "0.2"}
23 "extlib" | "extlib-compat"
24 "minisat"
25 "ocaml-sat-solvers" {>= "0.7.1"}
26 "ocamlbuild" {build}
27 "ocamlfind" {build}
28 "ounit" {build}
29]
30synopsis:
31 "A collection of tools for generating, manipulating and - most of all - solving parity games"
32description: """\
33A collection of tools for generating, manipulating and - most of all -
34solving parity games."""
35url {
36 src:
37 "https://github.com/tcsprojects/pgsolver/archive/refs/tags/v4.3.tar.gz"
38 checksum: [
39 "md5=2a2351836e74173c48bdcd82ccc8521a"
40 "sha512=d166662ece175b2249ec564fad9eb461c86341e6004c43bd65e4a32943f5e77b1f2eef31533363d4f0fc91f639ab42120ea24f59add23bda50e1cf46c7e709bb"
41 ]
42}