diff --git a/Cargo.lock b/Cargo.lock
index 5d6d695..2695b2f 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2614,9 +2614,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.20.0"
+version = "0.20.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c9fc44c9d6bb9fe84c03dfff211cf4c9c8cfefa2de8b803facf7305067d21a23"
+checksum = "80c4de445f5c9e3013703a6b8a40c80b4a64c925f0a19e7d0a23a7a9b70e854d"
 dependencies = [
  "log",
  "z3-sys",
diff --git a/Cargo.toml b/Cargo.toml
index 183edf6..11897ba 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -17,4 +17,4 @@ paste = "1.0.15"
 primes = "0.4.0"
 rayon = "1.12.0"
 regex = "1.12.3"
-z3 = { version = "0.20.0", features = ["gh-release"] }
+z3 = { version = "0.20.2", features = ["gh-release"] }