wip: Remove Z3

fuzzypixelz · Dec 16, 2023 · a102d57 · a102d57
1 parent 53c5e38
commit a102d57
Show file tree

Hide file tree

Showing 4 changed files with 239 additions and 619 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/absolut-macros/Cargo.toml b/crates/absolut-macros/Cargo.toml
@@ -15,4 +15,3 @@ proc-macro2 = "1.0.66"
 syn = { version = "2.0.26" }
 darling = "0.20.3"
 quote = "1.0.31"
-z3 = { version = "0.11.2", features = ["static-link-z3"]  }