diff --git a/Cargo.toml b/Cargo.toml
index 06fe4189f0..188632bcfc 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -166,7 +166,7 @@ uuid = { version = "1.19.0", features = ["serde", "v4"] }
 which = "8.0.0"
 windows = "0.62.1"
 windows-core = "0.62.1"
-z3 = { version = "0.19.7", default-features = false }
+z3 = { version = "0.20.0", default-features = false }
 
 [workspace.lints.rust]
 # Deny