<div dir="ltr"><div>Dear scip team,</div><div>  I have a set of binary variables x_i such that they are in constraint \sum_{i} x_i = 1. So I set lazy bound on x_i to 1.0. However, when a x_i becomes 1, the scip report error " updateLazyBounds: Assertion `lp->divinglazyapplied || SCIPsetIsLT(set, col->ub, col->lazyub) || (col->flushedub == SCIPlpiInfinity(lp->lpi))' failed" in  file "src/scip/lp.c:12176:". <br></div><div>  I test that because SCIPsetIsLT(set, col->ub, col->lazyub) fails which is in my test case '1.0 < 1.0'. Why the lazy bound cannot equal to the upper bound of binary variable?</div><div><br></div><div>Best regards,</div><div>Liding XU<br></div><div>   <br></div></div>