From 88f6b8c13fa005b30f70324853c7c0174f6d2156 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 29 Jun 2026 17:34:46 +0000
Subject: [PATCH] Bump z3 from 0.20.0 to 0.20.2

Bumps [z3](https://github.com/prove-rs/z3.rs) from 0.20.0 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.0...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 4c052bd..d69d295 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -798,9 +798,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",