initial implementation of generic tree reduction library

conjure-cp · Sep 27, 2024 · 05ecaf7 · 05ecaf7
1 parent fe47a92
commit 05ecaf7
Show file tree

Hide file tree

Showing 4 changed files with 319 additions and 34 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -16,6 +16,7 @@ members = [
     "solvers/kissat",
     "solvers/minion",
     "solvers/chuffed",
+    "crates/gen_reduce",
 ]
 
 [workspace.lints.clippy]

diff --git a/crates/gen_reduce/Cargo.toml b/crates/gen_reduce/Cargo.toml
@@ -0,0 +1,11 @@
+[package]
+name = "gen_reduce"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+uniplate = { version = "0.1.0" }
+
+
+[lints]
+workspace = true