Christoph Cullmann

Ensure the needed wincrypt.h is included. Without this, rand.c will not compile if -DWIN32_LEAN_AND_MEAN is set in the compile flags.

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

1

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): Assertion `lowerValue

void OsiClpSolverInterface::crunch(): Assertion `whichRow[i] >= -CoinMax(numberRows, numberColumns) && whichRow[i] < CoinMax(numberRows, numberColumns)' failed.

2

See this ilp [value_178.lp.txt](https://github.com/coin-or/Clp/files/14600316/value_178.lp.txt) and current master of cbc/clp/... ``` ❯ ../usr/bin/cbc test/value_178.lp Welcome to the CBC MILP Solver Version: trunk Build Date: Mar 14 2024 command line - test/value_178.lp...

Wrong result with current master build

3

Reference result with older version and cplex is 6497547. [value_6497547.lp.txt.gz](https://github.com/coin-or/Cbc/files/14297518/value_6497547.lp.txt.gz) ``` /local/ssd/cullmann/build/lpsolve.clpsolve/usr/bin/cbc test/value_6497547.lp Welcome to the CBC MILP Solver Version: trunk Build Date: Feb 15 2024 command line - test/value_6497547.lp...

Infeasible instead of 5552530

14

Older versions, e.g. from August last year still compute 5552530, current master results in infeasible. [value_5552530.lp.txt](https://github.com/coin-or/Cbc/files/11419167/value_5552530.lp.txt)

Infeasible with Reduce-and-split on

6

This ILP will become infeasible if Reduce-and-split is turned on. [value_17869585116638.lp.txt](https://github.com/coin-or/Cgl/files/14602506/value_17869585116638.lp.txt)

Large preprocessing difference between clang/Linux or macOS 64-bit CBC and MSVC

1

See the attached ILP. [value_87454.lp.gz](https://github.com/coin-or/Cgl/files/5880927/value_87454.lp.gz) With a Linux 64-bit build of the standalone CBC solver (master branch of all coin-or repos, uses only CoinUtils/Clp/Cgl/Cbc, no other extra solver deps), this...

At work, we generate "a lot" of ILP based on large graphs. We always ran into the issue that some solve perfectly well on Linux but not at all on...

Compile issues because CoinByteArray is a pointer, no integer

2

I get errors with clang 10 like: In file included from /local/hdd/cullmann/git/3rdparty/cbc/src/CoinUtils/src/CoinPackedVector.cpp:13: /local/hdd/cullmann/git/3rdparty/cbc/src/CoinUtils/src/CoinHelperFunctions.hpp: In function ‘void CoinMemcpyN(const T*, CoinByteArray, T*)’: /local/hdd/cullmann/git/3rdparty/cbc/src/CoinUtils/src/CoinHelperFunctions.hpp:331:57: error: invalid operands of types ‘const CoinByteArray’ {aka ‘int*...