deps: Update to z3 0.12. (#46)

sybila · Jul 24, 2023 · 5e6fe53 · 5e6fe53
1 parent 9338d96
commit 5e6fe53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -51,7 +51,7 @@ num-traits = "0.2.15"           # `BigInt::to_f64`
 # at some point...
 roxmltree = "0.15.1"            # Used for SBML parsing.
 bitvector = "0.1.5"             # Represents Boolean states of complex networks.
-z3 = { version = "0.11.2", optional = true }     # Used for fixed-point enumeration (and hopefully other things soon).
+z3 = { version = "0.12", optional = true }     # Used for fixed-point enumeration (and hopefully other things soon).
 
 [dev-dependencies]
 pretty_assertions = "1.3.0"