fix crash in post solve/lns/MIPLIB

IspML · Jul 26, 2019 · 6448bfd · 6448bfd
1 parent a2a1b1d
commit 6448bfd
Showing 1 changed file with 11 additions and 4 deletions.
diff --git a/ortools/sat/cp_model_presolve.cc b/ortools/sat/cp_model_presolve.cc
@@ -1170,6 +1170,9 @@ void CpModelPresolver::DivideLinearByGcd(ConstraintProto* ct) {
     }
     const Domain rhs = ReadDomainFromProto(ct->linear());
     FillDomainInProto(rhs.InverseMultiplicationBy(gcd), ct->mutable_linear());
+    if (ct->linear().domain_size() == 0) {
+      return (void)MarkConstraintAsFalse(ct);
+    }
   }
 }
 
@@ -3775,11 +3778,15 @@ bool CpModelPresolver::PresolveOneConstraint(int c) {
       if (CanonicalizeLinear(ct)) {
         context_.UpdateConstraintVariableUsage(c);
       }
-      if (RemoveSingletonInLinear(ct)) {
-        context_.UpdateConstraintVariableUsage(c);
+      if (ct->constraint_case() == ConstraintProto::ConstraintCase::kLinear) {
+        if (RemoveSingletonInLinear(ct)) {
+          context_.UpdateConstraintVariableUsage(c);
+        }
       }
-      if (PresolveLinear(ct)) {
-        context_.UpdateConstraintVariableUsage(c);
+      if (ct->constraint_case() == ConstraintProto::ConstraintCase::kLinear) {
+        if (PresolveLinear(ct)) {
+          context_.UpdateConstraintVariableUsage(c);
+        }
       }
       if (ct->constraint_case() == ConstraintProto::ConstraintCase::kLinear) {
         if (PresolveLinearOnBooleans(ct)) {