Assertion in ClpNonLinearCost::checkInfeasibilities: `lowerValue <= upperValue' failed

coin-or / Clp

COIN-OR Linear Programming Solver

Other

396 stars 82 forks source link

Open christoph-cullmann opened 3 years ago

christoph-cullmann commented 3 years ago

e.g. run a debug build of cbc with

cbc value_231271646004486.lp -cuts=off -solve

this will result in:

cbc: src/Clp/src/ClpNonLinearCost.cpp:1064: void ClpNonLinearCost::checkInfeasibilities(double): AssertionlowerValue <= upperValue' failed.`

-cuts=off is needed (or some other subset of cuts)

christoph-cullmann commented 3 years ago

Other ILP to reproduce this, needs no special options for cbc