fix

2025-06-05 11:33:19 +02:00
parent eb9e389ebe
commit 7c52f28d70
1 changed files with 1 additions and 1 deletions
--- a/ortools/sat/scheduling_cuts.cc
+++ b/ortools/sat/scheduling_cuts.cc
@@ -1456,7 +1456,7 @@ ABSL_MUST_USE_RESULT bool GenerateShortCompletionTimeCutsWithExactBound(
              helper, min_sum_of_ends, min_sum_of_weighted_ends,
              cut_use_precedences, exploration_limit);
      if (status == CompletionTimeExplorationStatus::NO_VALID_PERMUTATION) {
-        return false;
+        break;
      } else if (status == CompletionTimeExplorationStatus::ABORTED) {
        break;
      }