1 files changed, 10 insertions, 0 deletions

diff --git a/Cargo.toml b/Cargo.toml
new file mode 100644
index 0000000..91eae68
--- /dev/null
+++ b/Cargo.toml
@@ -0,0 +1,10 @@
+[workspace]
+members = [
+        "cairo-renderer",
+        # "cli",
+        "core",
+        "lua-bindings",
+        "z3-solver",
+
+        "examples/lib-dfscq-log",
+]