Ted Ralphs

The biggest problem with tying binaries to a release is just that it is only recently, with the new version of the [BuildTools](https://github.com/coin-or-tools/BuildTools), that we can easily build DLLs with...

@pgoelz Please open a separate issue and provide more details. What compiler are you trying to build with?

> For LPs isProvenInfeasible can mean dual infeasible. Then this is just a straight-up bug in Cbc. I would assume it knows when it has an LP that is dual...

Sorry, yes, you're right (of course). In this case, the recession cone associated with the convex hull has a ray with negative cost (assuming minimization), so if the convex hull...

Ah yes, that should be correct, now that you say it. It's not ideal that you need to check two different statuses.

Based on that error message, this looks like a bug in Cbc. To have any chance of debugging it, we would need a way to replicate. If you can write...

If I finally understood correctly, this has nothing to do with Cbc per se. It has to do with the fact that an old version of the shared library `libtinfo`...

@MikeWazoWski123 To be honest, my first reaction was that this report was some sort of self-promoting SPAM that could probably be safely ignored. Once I dug in, I had a...

I'm still happy to do whatever is needed on the Cbc side, but it would be helpful if someone could verify that this is still an issue and help debug...

Could you say more about how you are building CoinMP exactly? Are you installing the dependencies as Ubuntu packages or downloading sources for everything? Are you using `coinbrew`? CoinMP is...