diff --git a/Cargo.lock b/Cargo.lock
index 3b2c58a25d..7570195b97 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -6772,9 +6772,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.20.2"
+version = "0.21.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "80c4de445f5c9e3013703a6b8a40c80b4a64c925f0a19e7d0a23a7a9b70e854d"
+checksum = "08975512fd325de2a15eede8ed293b2189c745e0770886fae2b30ae229c5b886"
 dependencies = [
  "log",
  "z3-sys",
@@ -6782,9 +6782,9 @@ dependencies = [
 
 [[package]]
 name = "z3-sys"
-version = "0.11.0"
+version = "0.13.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c18b0a91a13522d21b3414847667de2b2056a721a3edcb5b6ee6858352d58db4"
+checksum = "96975839f50a909f6ec19671e5c06d7f0d6fc67287a120e1b010c5f8d91944d6"
 dependencies = [
  "pkg-config",
 ]
diff --git a/Cargo.toml b/Cargo.toml
index 3e2983e01f..69853acf4f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -174,7 +174,7 @@ which = "8.0.5"
 wide = "1.5.0"
 windows = "0.62.2"
 windows-core = "0.62.2"
-z3 = { version = "0.20.2", default-features = false }
+z3 = { version = "0.21.0", default-features = false }
 
 [workspace.lints.rust]
 # Deny