Bump bitwuzla conflict 0.4.0 -> 0.6.0

formalsec · Nov 6, 2024 · ec7661e · ec7661e
1 parent 6fb786e
commit ec7661e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -40,7 +40,7 @@
   z3)
  (conflicts
   (bitwuzla-cxx
-   (< "0.4.0"))
+   (< "0.6.0"))
   (z3
    (or
     (< "4.12.2")

diff --git a/smtml.opam b/smtml.opam
@@ -46,7 +46,7 @@ depends: [
 ]
 depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
 conflicts: [
-  "bitwuzla-cxx" {< "0.4.0"}
+  "bitwuzla-cxx" {< "0.6.0"}
   "z3" {< "4.12.2" | >= "4.14"}
 ]
 build: [