diff --git a/Cargo.toml b/Cargo.toml
index e970ea3..9a05c1f 100644
--- 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"
\ No newline at end of file