Merge pull request #136 from niklasdewally/do-not-chuffed-by-default

Make chuffed-rs non-default member of workspace.
conjure-cp · Jan 26, 2024 · 75f3d4e · 75f3d4e
2 parents e1259f2 + e5834ea
commit 75f3d4e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,5 +1,13 @@
 [workspace]
 resolver = "2"
+
+default-members = [
+ "conjure_oxide",
+ "crates/conjure_core",
+ "solvers/kissat",
+ "solvers/minion",
+]
+
 members = [
  "conjure_oxide",
  "crates/conjure_core",