Relax Z3 version constraint

hipsleek · Dec 19, 2024 · 6fc359d · 6fc359d
1 parent 5207743
commit 6fc359d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -20,7 +20,7 @@
  (description "Verifier for imperative higher order programs")
  (depends
   (ocaml (>= 5))
-  (z3 (= 4.12.2)) ; 4.12.4 has some unsat->unknown issues...
+  (z3 (>= 4.12.2))
   (menhir (>= 20220210))
   (dune (>= 3.8.0))
   (ppx_deriving (>= 5.2.1))

diff --git a/hip.opam b/hip.opam
@@ -9,7 +9,7 @@ homepage: "https://github.com/songyahui/AlgebraicEffect"
 bug-reports: "https://github.com/songyahui/AlgebraicEffect/issues"
 depends: [
   "ocaml" {>= "5"}
-  "z3" {= "4.12.2"}
+  "z3" {>= "4.12.2"}
   "menhir" {>= "20220210"}
   "dune" {>= "3.6" & >= "3.8.0"}
   "ppx_deriving" {>= "5.2.1"}