Use z3-solver python package instead of z3 binaries

Author: r0qs

scripts/docker/buildpack-deps/Dockerfile.ubuntu2204

@@ -22,11 +22,12 @@
 # (c) 2016-2025 solidity contributors.
 #------------------------------------------------------------------------------
 FROM buildpack-deps:jammy AS base
-LABEL version="3"
+LABEL version="4"
 
 ARG DEBIAN_FRONTEND=noninteractive
 
 RUN set -ex; \
+	z3_version="4.13.3"; \
 	dist=$(grep DISTRIB_CODENAME /etc/lsb-release | cut -d= -f2); \
 	echo "deb http://ppa.launchpad.net/ethereum/cpp-build-deps/ubuntu $dist main" >> /etc/apt/sources.list ; \
 	apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 1c52189c923f6ca9 ; \
@@ -59,7 +60,7 @@ RUN set -ex; \
 		pylint \
 		requests \
 		tabulate \
-		z3-solver;
+		z3-solver=="${z3_version}";
 
 # Eldarica
 RUN set -ex; \
@@ -81,15 +82,6 @@ RUN set -ex; \
 	unzip -j /opt/cvc5.zip "${cvc5_archive_name}/bin/cvc5" -d /usr/bin; \
 	rm -f /opt/cvc5.zip;
 
-# Z3
-RUN set -ex; \
-	z3_version="4.13.3"; \
-	z3_archive_name="z3-${z3_version}-x64-glibc-2.35"; \
-	wget "https://github.com/Z3Prover/z3/releases/download/z3-${z3_version}/${z3_archive_name}.zip" -O /opt/z3.zip; \
-	test "$(sha256sum /opt/z3.zip)" = "32c7377026733c9d7b33c21cd77a68f50ba682367207b031a6bfd80140a8722f  /opt/z3.zip"; \
-	unzip -j /opt/z3.zip "${z3_archive_name}/bin/z3" -d /usr/bin; \
-	rm -f /opt/z3.zip;
-
 FROM base AS libraries
 
 # EVMONE

scripts/docker/buildpack-deps/Dockerfile.ubuntu2404

@@ -22,7 +22,7 @@
 # (c) 2016-2024 solidity contributors.
 #------------------------------------------------------------------------------
 FROM buildpack-deps:noble AS base
-LABEL version="4"
+LABEL version="5"
 
 ARG DEBIAN_FRONTEND=noninteractive
 
@@ -31,6 +31,7 @@ ARG DEBIAN_FRONTEND=noninteractive
 ENV PIP_BREAK_SYSTEM_PACKAGES 1
 
 RUN set -ex; \
+	z3_version="4.13.3"; \
 	dist=$(grep DISTRIB_CODENAME /etc/lsb-release | cut -d= -f2); \
 	echo "deb http://ppa.launchpad.net/ethereum/cpp-build-deps/ubuntu $dist main" >> /etc/apt/sources.list ; \
 	apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 1c52189c923f6ca9 ; \
@@ -62,7 +63,7 @@ RUN set -ex; \
 		pylint \
 		requests \
 		tabulate \
-		z3-solver;
+		z3-solver=="${z3_version}";
 
 # Eldarica
 RUN set -ex; \
@@ -84,15 +85,6 @@ RUN set -ex; \
 	unzip -j /opt/cvc5.zip "${cvc5_archive_name}/bin/cvc5" -d /usr/bin; \
 	rm -f /opt/cvc5.zip;
 
-# Z3
-RUN set -ex; \
-	z3_version="4.13.3"; \
-	z3_archive_name="z3-${z3_version}-x64-glibc-2.35"; \
-	wget "https://github.com/Z3Prover/z3/releases/download/z3-${z3_version}/${z3_archive_name}.zip" -O /opt/z3.zip; \
-	test "$(sha256sum /opt/z3.zip)" = "32c7377026733c9d7b33c21cd77a68f50ba682367207b031a6bfd80140a8722f  /opt/z3.zip"; \
-	unzip -j /opt/z3.zip "${z3_archive_name}/bin/z3" -d /usr/bin; \
-	rm -f /opt/z3.zip;
-
 FROM base AS libraries
 
 # EVMONE

scripts/docker/buildpack-deps/Dockerfile.ubuntu2404.clang

@@ -22,7 +22,7 @@
 # (c) 2016-2024 solidity contributors.
 #------------------------------------------------------------------------------
 FROM buildpack-deps:noble AS base
-LABEL version="5"
+LABEL version="6"
 
 ARG DEBIAN_FRONTEND=noninteractive
 
@@ -31,6 +31,7 @@ ARG DEBIAN_FRONTEND=noninteractive
 ENV PIP_BREAK_SYSTEM_PACKAGES 1
 
 RUN set -ex; \
+	z3_version="4.13.3"; \
 	dist=$(grep DISTRIB_CODENAME /etc/lsb-release | cut -d= -f2); \
 	echo "deb http://ppa.launchpad.net/ethereum/cpp-build-deps/ubuntu $dist main" >> /etc/apt/sources.list ; \
 	apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 1c52189c923f6ca9 ; \
@@ -60,7 +61,7 @@ RUN set -ex; \
 		pylint \
 		requests \
 		tabulate \
-		z3-solver;
+		z3-solver=="${z3_version}";
 
 # Eldarica
 RUN set -ex; \
@@ -83,15 +84,6 @@ RUN set -ex; \
 	unzip -j /opt/cvc5.zip "${cvc5_archive_name}/bin/cvc5" -d /usr/bin; \
 	rm -f /opt/cvc5.zip;
 
-# Z3
-RUN set -ex; \
-	z3_version="4.13.3"; \
-	z3_archive_name="z3-${z3_version}-x64-glibc-2.35"; \
-	wget "https://github.com/Z3Prover/z3/releases/download/z3-${z3_version}/${z3_archive_name}.zip" -O /opt/z3.zip; \
-	test "$(sha256sum /opt/z3.zip)" = "32c7377026733c9d7b33c21cd77a68f50ba682367207b031a6bfd80140a8722f  /opt/z3.zip"; \
-	unzip -j /opt/z3.zip "${z3_archive_name}/bin/z3" -d /usr/bin; \
-	rm -f /opt/z3.zip;
-
 FROM base AS libraries
 
 ENV CC clang