diff --git a/Cargo.toml b/Cargo.toml
index 676b22a85b..e86c0a5f0b 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -164,7 +164,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