From e9878cbf7c916b2e90ac3a3f0c73c3604570580b Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 29 Jun 2026 09:21:48 +0000
Subject: [PATCH] deps(deps): bump z3 from 0.20.1 to 0.20.2

Bumps [z3](https://github.com/prove-rs/z3.rs) from 0.20.1 to 0.20.2.
- [Release notes](https://github.com/prove-rs/z3.rs/releases)
- [Changelog](https://github.com/prove-rs/z3.rs/blob/master/release-plz.toml)
- [Commits](https://github.com/prove-rs/z3.rs/compare/z3-v0.20.1...z3-v0.20.2)

---
updated-dependencies:
- dependency-name: z3
  dependency-version: 0.20.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Cargo.lock | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 7e397c8..a09aa0f 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -7463,9 +7463,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.20.1"
+version = "0.20.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "89669e2ab7eb1bf5ec0621958479b4e3a11f14023358112dab3e21af410d8440"
+checksum = "80c4de445f5c9e3013703a6b8a40c80b4a64c925f0a19e7d0a23a7a9b70e854d"
 dependencies = [
  "log",
  "z3-sys",