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

Author: scip-ci

CHANGELOG

@@ -467,6 +467,7 @@ Fixed bugs
 - recompute activity bounds before checking infeasibility and redundancy in linear constraint presolving
 - skip integer variables with fractional value in reference solution when finding additional variable fixings in ALNS heuristic
 - fix call of SCIPaddExprsViolScoreNonlinear() with constant expressions (no variables)
+- adjust further bounds before checking feasibility in SCIPvarAddVlb() and SCIPvarAddVub() to detect integrality cutoff
 
 Build system
 ------------

src/scip/var.c

@@ -15458,8 +15458,13 @@ SCIP_RETCODE SCIPvarAddVlb(
       /* if the vlb coefficient is zero, just update the lower bound of the variable */
       else if( SCIPsetIsZero(set, vlbcoef) )
       {
+         /* bound might be adjusted due to integrality condition */
+         vlbconstant = adjustedLb(set, SCIPvarGetType(var), vlbconstant);
+
+         /* check bounds for feasibility */
          if( SCIPsetIsFeasGT(set, vlbconstant, SCIPvarGetUbGlobal(var)) )
             *infeasible = TRUE;
+         /* improve global lower bound of variable */
          else if( SCIPsetIsFeasGT(set, vlbconstant, SCIPvarGetLbGlobal(var)) )
          {
             /* during solving stage it can happen that the global bound change cannot be applied directly because it conflicts
@@ -15920,8 +15925,13 @@ SCIP_RETCODE SCIPvarAddVub(
       /* if the vub coefficient is zero, just update the upper bound of the variable */
       else if( SCIPsetIsZero(set, vubcoef) )
       {
+         /* bound might be adjusted due to integrality condition */
+         vubconstant = adjustedUb(set, SCIPvarGetType(var), vubconstant);
+
+         /* check bounds for feasibility */
          if( SCIPsetIsFeasLT(set, vubconstant, SCIPvarGetLbGlobal(var)) )
             *infeasible = TRUE;
+         /* improve global upper bound of variable */
          else if( SCIPsetIsFeasLT(set, vubconstant, SCIPvarGetUbGlobal(var)) )
          {
             /* during solving stage it can happen that the global bound change cannot be applied directly because it conflicts