install z3 from release binaries

packages/solvers/Dockerfile

@@ -18,7 +18,12 @@ RUN apt-get update && apt-get install --no-install-recommends -y \
     g++ zlib1g-dev libboost-all-dev flex bison
 
 # Install Z3
-COPY --from=ghcr.io/z3prover/z3:ubuntu-20.04-bare-z3-20240922 /usr/bin/z3 /usr/local/bin/z3
+ARG Z3_VERSION=4.13.3
+RUN wget https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VERSION}/z3-${Z3_VERSION}-x64-glibc-2.35.zip -O z3.zip && \
+    unzip z3.zip && \
+    mv z3-${Z3_VERSION}-x64-glibc-2.35/bin/* /usr/local/bin/ && \
+    rm -rf z3-${Z3_VERSION}-x64-glibc-2.35 && \
+    rm z3.zip
 
 # Install STP
 COPY --from=msoos/stp /usr/local/bin/stp /usr/local/bin/stp