From 01e2cea4d9605e20dfa52461b3a92296086ea7dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Sun, 16 Aug 2026 09:57:20 +0100
Subject: [PATCH] [docker] add z3 5.1.0

---
 scripts/docker/Dockerfile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile
index a7d0cde40..bafbb1235 100644
--- a/scripts/docker/Dockerfile
+++ b/scripts/docker/Dockerfile
@@ -97,6 +97,13 @@ RUN \
 	sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \
 	rm -f cvc5
 
+RUN \
+	version=5.1.0 && glibc=2.39 && \
+	wget -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${version}/z3-${version}-x64-glibc-${glibc}.zip && \
+	unzip -j z3.zip z3-${version}-x64-glibc-${glibc}/bin/z3 && \
+	sudo install -m 0755 z3 /usr/local/bin/z3-${version} && \
+	rm -f z3 z3.zip
+
 RUN \
 	version=5.0.0 && glibc=2.39 && \
 	wget -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${version}/z3-${version}-x64-glibc-${glibc}.zip && \