Merge remote-tracking branch 'origin/v9-minor'

CHANGELOG

@@ -211,6 +211,7 @@ Miscellaneous
 
 - the output precision for writing CIP/OPB files has been increased at several places for nonlinear constraints
 - the solchecker tool now also supports SCIP solutions without unknown or infinite values
+- generate an error for MPS files that use linear constraints in several indicator constraints
 
 Known bugs
 ----------

src/scip/cons_indicator.c

@@ -8587,9 +8587,18 @@ SCIP_RETCODE SCIPcreateConsIndicatorGenericLinConsPure(
    for (j = 0; j < nvars; ++j)
    {
       if ( ! SCIPvarIsIntegral(vars[j]) || ! SCIPisIntegral(scip, vals[j]) )
-      {
          slackvartype = SCIP_VARTYPE_CONTINUOUS;
-         break;
+
+      /* Check whether variable is marked to not be multi-aggregated: this should only be the case for slack variables
+       * added by the indicator constraint handler. */
+      if ( SCIPdoNotMultaggrVar(scip, vars[j]) )
+      {
+         /* double check name */
+         if ( strncmp(SCIPvarGetName(vars[j]), "indslack", 8) == 0 )
+         {
+            SCIPerrorMessage("Linear constraint <%s> already used in an indicator constraint.\n", SCIPconsGetName(lincons));
+            return SCIP_INVALIDDATA;
+         }
       }
    }