chore: bump z3 (#80)

Author: toolCHAINZ

crackers/Cargo.toml

@@ -25,7 +25,7 @@ z3-gh-release = ["z3/gh-release"]
 
 [dependencies]
 jingle = { version = "0.3.2", features = ["gimli"] }
-z3 = "0.18.2"
+z3 = "0.19.0"
 serde = { version = "1.0.203", features = ["derive"] }
 thiserror = "2.0"
 tracing = "0.1"

crackers_python/Cargo.toml

@@ -14,7 +14,7 @@ pyo3 = { version = "0.26", features = ["extension-module", "py-clone"] }
 crackers = {path = "../crackers", features = ["pyo3"], version = "0.6.1" }
 jingle = { version = "0.3.2", features = ["pyo3"]}
 toml_edit = { version = "0.23.4", features = ["serde"] }
-z3 = "0.18.2"
+z3 = "0.19.0"
 serde_json = "1.0.140"
 lazy_static = "1.5.0"
 tracing = "0.1.41"