chore(solver): Display learned clause in logs.

plaans · Nov 12, 2024 · 4219235 · 4219235
1 parent 82a2ddb
commit 4219235
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/solver/src/solver/solver_impl.rs b/solver/src/solver/solver_impl.rs
@@ -788,10 +788,10 @@ impl<Lbl: Label> Solver<Lbl> {
                 Ok(()) => return true,
                 Err(conflict) => {
                     log_dec!(
-                        " CONFLICT {:?} (size: {}) ",
+                        " CONFLICT {:?} (size: {})  >  {}",
                         self.decision_level,
                         conflict.clause.len(),
-                        // conflict.literals().iter().map(|l| self.model.fmt(*l)).format(", ")
+                        conflict.literals().iter().map(|l| self.model.fmt(*l)).format(" | ")
                     );
                     self.sync.notify_learnt(&conflict.clause);
                     if self.add_conflicting_clause_and_backtrack(conflict) {