diff --git a/patronus/Cargo.toml b/patronus/Cargo.toml
index 82ff19b..aa6c63e 100644
--- a/patronus/Cargo.toml
+++ b/patronus/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "patronus"
-version = "0.28.2"
+version = "0.29.0"
 description = "Hardware bug-finding toolkit."
 homepage = "https://kevinlaeufer.com"
 keywords = ["RTL", "btor", "model-checking", "SMT", "bit-vector"]