Assertion `numberProhibited_ == oldModel->getNumCols()' failed

coin-or / Cgl

Cut Generator Library

Other

24 stars 16 forks source link

Assertion `numberProhibited_ == oldModel->getNumCols()' failed #60

Open lovasoa opened 3 years ago

lovasoa commented 3 years ago

CglPreProcess.cpp:2492: OsiSolverInterface* CglPreProcess::preProcessNonDefault(OsiSolverInterface&, int, int, int): Assertion `numberProhibited_ == oldModel->getNumCols()' failed.

This failed assertions was reported in the following related issues:

https://github.com/coin-or/Cbc/issues/376#issuecomment-803057782
https://github.com/jump-dev/Cbc.jl/issues/30

It seems to happen only on problems that contain SOS constraints.

tkralphs commented 3 years ago

It would be very helpful if you could provide a minimal example that reproduces this issue.