From d7ddc7e05d075c20121452591b9b8e22fff63a25 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 2 Sep 2026 06:20:02 +0000
Subject: [PATCH] chore(deps): bump z3 from 0.20.2 to 0.21.0

Bumps [z3](https://github.com/prove-rs/z3.rs) from 0.20.2 to 0.21.0.
- [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.2...z3-v0.21.0)

---
updated-dependencies:
- dependency-name: z3
  dependency-version: 0.21.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Cargo.lock                     | 8 ++++----
 crates/synth-verify/Cargo.toml | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 4127625b..ca5ee0c1 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1837,9 +1837,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.20.2"
+version = "0.21.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "80c4de445f5c9e3013703a6b8a40c80b4a64c925f0a19e7d0a23a7a9b70e854d"
+checksum = "08975512fd325de2a15eede8ed293b2189c745e0770886fae2b30ae229c5b886"
 dependencies = [
  "log",
  "z3-sys",
@@ -1847,9 +1847,9 @@ dependencies = [
 
 [[package]]
 name = "z3-sys"
-version = "0.11.0"
+version = "0.13.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c18b0a91a13522d21b3414847667de2b2056a721a3edcb5b6ee6858352d58db4"
+checksum = "96975839f50a909f6ec19671e5c06d7f0d6fc67287a120e1b010c5f8d91944d6"
 dependencies = [
  "pkg-config",
 ]
diff --git a/crates/synth-verify/Cargo.toml b/crates/synth-verify/Cargo.toml
index 20627f43..1356ebd0 100644
--- a/crates/synth-verify/Cargo.toml
+++ b/crates/synth-verify/Cargo.toml
@@ -48,7 +48,7 @@ ordeal = "=0.19.0"
 # Default features only (NO `static-link-z3`/`bundled`): z3-sys links the
 # system libz3 (`libz3-dev`) instead of compiling z3 from source or downloading
 # a prebuilt — kills the flaky `build.rs` GitHub download (HTTP 403/502, #553).
-z3 = { version = "0.20", optional = true }
+z3 = { version = "0.21", optional = true }
 
 # Error handling
 anyhow.workspace = true