feat: enhance solver to log consistency status when no flaws remain

Author: riccardodebenedictis

src/solver.rs

@@ -81,10 +81,10 @@ impl SolverState {
                 }
                 self.graph.borrow_mut().set_current_flaw(None);
             } else {
-                break;
+                trace!("Hurray! No more flaws to resolve. Problem is consistent.");
+                return true;
             };
         }
-        true
     }
 }