fix

lperron · lperron · commit f9177bd457a1 · 2025-02-10T13:11:01.000+01:00
diff --git a/ortools/sat/cp_model_presolve.cc b/ortools/sat/cp_model_presolve.cc
@@ -3650,6 +3650,7 @@ void CpModelPresolver::ProcessOneLinearWithAmo(int ct_index,
     if (!PropagateDomainsInLinear(/*ct_index=*/-1, &temp_ct_)) {
       return;
     }
+    if (context_->ModelIsUnsat()) return;
   }
 
   // Extract enforcement or fix literal.

Original file line number	Diff line number	Diff line change
`@@ -3650,6 +3650,7 @@ void CpModelPresolver::ProcessOneLinearWithAmo(int ct_index,`
`3650`	`3650`	`if (!PropagateDomainsInLinear(/ct_index=/-1, &temp_ct_)) {`
`3651`	`3651`	`return;`
`3652`	`3652`	`}`
	`3653`	`+ if (context_->ModelIsUnsat()) return;`
`3653`	`3654`	`}`
`3654`	`3655`
`3655`	`3656`	`// Extract enforcement or fix literal.`