[SCIP] Lazy bound cannot be active

[liding xu]

Dear scip team,
  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:".
  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?

Best regards,
Liding XU
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20190702/91cf12c2/attachment.html>