Assertion failed in solving ILP

Open spinspincoupling opened this issue 2 years ago • 2 comments

I compiled SYMPONY-5.6.17 using the default config and run into an assertion failure at CglProbing.cpp:614: int CglProbing::tighten(double*, double*, const int*, const double*, const CoinBigIndex*, const int*, double*, double*, int, int, char*, int, double): Assertion 'colUpper[i] == colLower[j]' failed. The test passed when I turn on the debug option.

Mar 07 '23 22:03 spinspincoupling

This is strange. Can you provide more details? What was the platform?

Apr 28 '23 16:04 tkralphs

looks like there is another post on clp for the same issue, https://github.com/coin-or/Clp/issues/173

May 16 '23 19:05 spinspincoupling