Fix Z3 version.

JonathanSalwan · Dec 5, 2023 · 83332bb · 83332bb
1 parent a33bf25
commit 83332bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -27,7 +27,7 @@ RUN cd /tmp && \
 
 # To test pre-releases 'pip install' the corresponding .whl from https://github.com/Z3Prover/z3/releases/tag/Nightly
 # libz3 >= 4.6.0
-RUN pip3 install z3-solver==4.12.2
+RUN pip3 install z3-solver==4.8.14
 
 RUN PYV=`python3 -c "import platform;print(platform.python_version()[:3])"` && \
     # Triton (LLVM for lifting; z3 or bitwuzla as SMT solver)