Merge pull request ocaml#22511 from maurice-herwig/master

add ocaml-sat-solvers.0.7.1

Author: kit-ty-kate

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

@@ -0,0 +1,30 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+authors: [ "Oliver Friedmann"
+           "Martin Lange"
+           "Maurice Herwig" ]
+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.1.tar.gz"
+  checksum: "md5=7e5ccb4b21397c04c579aecd3c618825"
+}