search

coin-or / SHOT

A solver for mixed-integer nonlinear optimization problems
https://shotsolver.dev
Eclipse Public License 2.0
117 stars 25 forks source link

User termination check in MIP solver #89

Closed andreaslundell closed 4 years ago

andreaslundell commented 4 years ago

Ok, I think I have a solution to https://github.com/coin-or/SHOT/issues/86, but could you verify @svigerske that it actually works from GAMS (with Cbc, Cplex and Gurobi).

If it works, I will still perform some more extensive benchmarks to make sure this fix does not have any unforseen consequences.

andreaslundell commented 4 years ago

I would suggest you try this fix on the SHOT_NLP branch if you want to reformulate the tln* instances. There were some bug fixes there that makes the reformulations work better.

svigerske commented 4 years ago

With CPLEX, yes. Gurobi is difficult to test, but it should work, too :). For Cbc, you didn't finish the implementation, I believe.

andreaslundell commented 4 years ago

Sorry about that. The Cbc version should be working now.