Merge pull request ocaml#21902 from tcsprojects/master

add ocaml-sat-solvers v0.7

Author: kit-ty-kate

packages/ocaml-sat-solvers/ocaml-sat-solvers.0.7/opam

@@ -0,0 +1,29 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: [ "Oliver Friedmann"
+           "Martin Lange" ]
+license: "BSD-3-clause"
+homepage: "https://github.com/tcsprojects/ocaml-sat-solvers"
+dev-repo: "git://github.com/tcsprojects/ocaml-sat-solvers.git"
+bug-reports: "https://github.com/tcsprojects/ocaml-sat-solvers/issues"
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+  ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
+  ["ocaml" "setup.ml" "-build"] {with-test}
+  ["ocaml" "setup.ml" "-test"] {with-test}
+]
+install: ["ocaml" "setup.ml" "-install"]
+depends: [
+  "ocaml" {>= "4.08.0" & < "5.0"}
+  "minisat" {>= "0.4"}
+  "z3" {>= "4.8.11"}
+  "ocamlbuild" {build}
+  "ocamlfind" {build}
+]
+synopsis: "An abstraction layer for integrating SAT Solvers into OCaml"
+description: "An abstraction layer for integrating SAT Solvers into OCaml."
+url {
+  src: "https://github.com/tcsprojects/ocaml-sat-solvers/archive/refs/tags/v0.7.tar.gz"
+  checksum: "md5=6b0b9a0e359f28ac3a796bc05409e99c"
+}

packages/pgsolver/pgsolver.4.1/opam

@@ -18,17 +18,17 @@ remove: [
   ["ocaml" "%{etc}%/pgsolver/setup.ml" "-C" "%{etc}%/pgsolver" "-uninstall"]
 ]
 depends: [
-  "ocaml" {>= "4.03.0"}
+  "ocaml" {>= "4.05.0" & < "5.0"}
   "TCSLib" {>= "0.2"}
   ("extlib" | "extlib-compat")
   "minisat"
-  "ocaml-sat-solvers"
+  "ocaml-sat-solvers" {<= "0.4"}
   "ocamlbuild" {build}
   "ocamlfind" {build}
   "ounit" {build}
 ]
 synopsis:
-  "A collection of tools for generating, manipulating and - most of all - solving parity games."
+  "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."""