update z3 version

Krishnacore · web-flow · commit e48e8dc6dcbc · 2024-01-03T10:14:16.000-05:00
diff --git a/aptos_download.sh b/aptos_download.sh
@@ -177,7 +177,7 @@ aptos info
 # prover env
 # ======================================================================================================================
 
-Z3_VERSION=4.11.0
+Z3_VERSION=4.11.2
 CVC5_VERSION=0.0.3
 DOTNET_VERSION=6.0
 BOOGIE_VERSION=3.0.1
