diff --git a/deps/z3_version b/deps/z3_version
index 53cf85e17..813b83b65 100644
--- a/deps/z3_version
+++ b/deps/z3_version
@@ -1 +1 @@
-4.12.1
+4.13.0