bump and add prover versions in docker

Author: fdupress

scripts/docker/Dockerfile.build

@@ -51,7 +51,7 @@ RUN \
 	rm -f cvc4
 
 RUN \
-	version=1.3.2 && \
+	version=1.3.3 && \
 	wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.2/cvc5-Linux-x86_64-libcxx-static.zip && \
   unzip -j cvc5.zip cvc5-Linux-x86_64-libcxx-static/bin/cvc5 && \
 	sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \
@@ -77,6 +77,27 @@ RUN \
 	sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \
 	rm -f cvc5
 
+RUN \
+	version=4.16.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=4.15.8 && 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=4.14.1 && glibc=2.35 && \
+	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=4.13.4 && glibc=2.35 && \
 	wget -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${version}/z3-${version}-x64-glibc-${glibc}.zip && \