fix 2 more bugs

google · Dec 19, 2024 · 2563173 · 2563173
1 parent 56ed3f9
commit 2563173
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/ortools/sat/cp_model_presolve.cc b/ortools/sat/cp_model_presolve.cc
@@ -13707,6 +13707,7 @@ namespace {
 void UpdateHintInProto(PresolveContext* context) {
   CpModelProto* proto = context->working_model;
   if (!proto->has_solution_hint()) return;
+  if (context->ModelIsUnsat()) return;
 
   // Extract the new hint information from the context.
   auto* mutable_hint = proto->mutable_solution_hint();

diff --git a/ortools/sat/scheduling_cuts.cc b/ortools/sat/scheduling_cuts.cc
@@ -718,6 +718,7 @@ CutGenerator CreateCumulativeTimeTableCutGenerator(
     TopNCuts top_n_cuts(5);
     std::vector<TimeTableEvent> events;
     const auto& lp_values = manager->LpValues();
+    if (lp_values.empty()) return true;  // No linear relaxation.
     const double capacity_lp = capacity.LpValue(lp_values);
 
     // Iterate through the intervals. If start_max < end_min, the demand