[WIP] On going refactoring...

qed-solver · Nov 15, 2021 · ec7cb6c · ec7cb6c
1 parent 09df310
commit ec7cb6c
Show file tree

Hide file tree

Showing 60 changed files with 1,516 additions and 2,050 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -10,12 +10,12 @@ edition = "2018"
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
 ena = "0.14"
-z3 = "= 0.11.0"
+z3 = { git = "https://github.com/wsx-ucb/z3.rs", branch = "add-binding" }
 scopeguard = "1.1"
 itertools = "0.10"
 permutation = "0.2"
 paste = "1.0"
 indenter = "0.3"
 log = "0.4"
 env_logger = "0.9"
-im = "15.0"
+imbl = { git = "https://github.com/jneem/imbl", branch = "main" }