<div dir="ltr"><div>Dear all,</div><div>   As I defined a branch rule on a binary variable of which a constraint becomes feasible in in the upbranch, can I declare this constraint to be inactive at the branch node?</div><div>    For example, constraint: sum_{i=1}^{n} x_i  / n <= y,  x_i \in {0,1}, y in {0,1}, when I branch on y, and in the branch y =1, this constraint is useless,</div><div><br></div><div>Best regards,</div><div>XU Liding  <br></div></div>