Matea-M
Results
2
comments of
Matea-M
The instance triggers an assertion failure in tryAdd2variableBuffer(): assert(SCIPisFeasIntegral(scip, val) || !SCIPvarIsIntegral(var)) The assert fails because, during presolving, dual reductions may tighten bounds or transform variables such that certain variables...
Yes, you're right, this likely isn't about implied integrality. After a second look, the assertion likely fails because it assumes that the given solution values are integral. But LP solutions,...