From 83332bbcf8bdc353cc80678923235571def37897 Mon Sep 17 00:00:00 2001
From: Manuel Carrasco <m.carrasco@imperial.ac.uk>
Date: Mon, 4 Dec 2023 21:15:57 +0000
Subject: [PATCH] Fix Z3 version.

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 6fa9d67a6..724a6d719 100644
--- 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)