upgrade to z3 4.15

Author: yanntm

smt/fr.lip6.smt.z3.binaries/pom.xml

@@ -28,7 +28,7 @@
                             <target>
                                 <echo message="Get Z3 binaries"/>
                                 <mkdir dir="bin"/>                                
-                                <get src="https://github.com/Z3Prover/z3/releases/download/z3-4.14.1/z3-4.14.1-x64-glibc-2.35.zip" dest="bin/z3.zip"/>
+                                <get src="https://github.com/Z3Prover/z3/releases/download/z3-4.15.0/z3-4.15.0-x64-glibc-2.39.zip" dest="bin/z3.zip"/>
 								<unzip src="bin/z3.zip" dest="bin/">
 									<patternset>
 										<include name="**/bin/z3" />