diff --git a/Cargo.lock b/Cargo.lock
index f8319bb..075861d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2459,9 +2459,9 @@ dependencies = [
 
 [[package]]
 name = "z3"
-version = "0.19.7"
+version = "0.19.12"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ea19bb0f83371b3279afd962fd5c6525024459615598ad328eb24d1713e28dd9"
+checksum = "3eefc89611f6835ebe4c66501f6035e4e54c0b9a6777085a8c1cb360eb22fd8f"
 dependencies = [
  "log",
  "num",
@@ -2470,9 +2470,9 @@ dependencies = [
 
 [[package]]
 name = "z3-sys"
-version = "0.10.4"
+version = "0.10.7"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b18a464a6d3c31e6684906ca12e53c095ff625cd21fcbe09271a3aacb56a96f1"
+checksum = "2edfd1f4106f59e475dde9eab39eec89cf2d3fb41189eab87d575e0fa40a0818"
 dependencies = [
  "bindgen",
  "pkg-config",
diff --git a/Cargo.toml b/Cargo.toml
index 4c4db83..7fc0c11 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -17,4 +17,4 @@ primes = "0.4.0"
 rayon = "1.11.0"
 regex = "1.12.2"
 strum = { version = "0.27.2", features = ["derive"] }
-z3 = { version = "0.19.7", features = ["gh-release"] }
+z3 = { version = "0.19.12", features = ["gh-release"] }