Fixing solution counting

Thanks to @olegzaikin and @capiman for noticing this! Closes #772
msoos · Sep 27, 2024 · 4c779cb · 4c779cb
1 parent 78c852e
commit 4c779cb
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/main.cpp b/src/main.cpp
@@ -1356,17 +1356,15 @@ lbool Main::multi_solutions()
                 << endl;
             }
 
-            if (!dont_ban_solutions) {
-                ban_found_solution();
-            }
+            if (!dont_ban_solutions) ban_found_solution();
         }
     }
     return ret;
 }
 
 void Main::ban_found_solution() {
     vector<Lit> lits;
-    if (solver->get_sampl_vars_set()) {
+    if (!solver->get_sampl_vars_set()) {
         //all of the solution
         for (uint32_t var = 0; var < solver->nVars(); var++) {
             if (solver->get_model()[var] != l_Undef) {