From bb1be2e4782efe5714db1b07655e03b6d02481a7 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Fri, 26 Jun 2026 21:03:49 +0000
Subject: [PATCH] chore(deps): update rust crate z3 to 0.20.2

---
 Cargo.lock | 4 ++--
 Cargo.toml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

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"] }