diff --git a/deps/z3/Makefile b/deps/z3/Makefile
index fe68ce14..798610c7 100644
--- a/deps/z3/Makefile
+++ b/deps/z3/Makefile
@@ -1,14 +1,14 @@
 OS_TYPE=$(patsubst CYGWIN%,Cygwin,$(shell uname))
 
-Z3_VERS=4.8.9
+Z3_VERS=4.15.4
 Z3_URL_PREFIX=https://github.com/Z3Prover/z3/releases/download/z3-$(Z3_VERS)
 
 ifeq ($(OS_TYPE),Linux)
-    Z3_BASE_NAME=z3-${Z3_VERS}-x64-ubuntu-16.04
+    Z3_BASE_NAME=z3-${Z3_VERS}-x64-glibc-2.39
 	Z3_EXEC=z3
 endif
 ifeq ($(OS_TYPE),Darwin)
-    Z3_BASE_NAME=z3-${Z3_VERS}-x64-osx-10.14.6
+    Z3_BASE_NAME=z3-${Z3_VERS}-x64-osx-13.7.6
 	Z3_EXEC=z3
 endif
 ifeq ($(OS_TYPE),Cygwin)