SETr 0.1.1 upper bound on Z3

Yishuai Li · Yishuai Li · commit e274ff2a2a93 · 2025-07-07T15:05:12.000+08:00
diff --git a/packages/setr/setr.0.1.1/opam b/packages/setr/setr.0.1.1/opam
@@ -15,6 +15,9 @@ depends: [
   "mlbdd"
   "ocamlbuild" {build}
 ]
+depopts: [
+  "z3" {< "4.8"}
+]
 synopsis: "Abstract domain library for sets"
 description: """
 SETr is an interface for set abstractions. It defines common infrastructure for
