Merge branch 'feat-batsat-solver' of github.com:nfbruns/rustsat into …

…feat-batsat-solver
chrjabs · Jun 26, 2024 · 707e207 · 707e207
2 parents 4649148 + 1e6aa6b
commit 707e207
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,6 +6,7 @@ members = [
   "glucose",
   "minisat",
   "ipasir",
+  "batsat",
   "solvertests",
   "capi",
   "pyapi",