diff --git a/Cargo.toml b/Cargo.toml
index 67bae205d..75d2d3cf2 100644
--- 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",