1 files changed, 12 insertions, 0 deletions

diff --git a/z3-solver/Cargo.toml b/z3-solver/Cargo.toml
new file mode 100644
index 0000000..6f63e1c
--- /dev/null
+++ b/z3-solver/Cargo.toml
@@ -0,0 +1,12 @@
+[package]
+name = "diaphragm-z3-solver"
+version = "0.1.0"
+authors = ["Minijackson <minijackson@riseup.net>"]
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+diaphragm-core = { path = "../core" }
+
+z3 = "0.9"