[Coin-discuss] SYMPHONY's feasibility test

[Ted Ralphs]

Michael Hennebry wrote:

> If an all-integer set of values is infeasible
> and will generate a cut, is it necessary for
> user code to declare it infeasible?

SYMPHONY only checks for integrality by default, so if you leave it to 
SYMPHONY to check, it will declare the solution feasible and prune the 
node. If you have a solution that satisfies integrality, but violates a 
cut, you must declare it infeasible in user_is_feasible() by setting

*feasible = IP_INFEASIBLE;

Cheers,

Ted

-- 
Dr. Ted Ralphs
Assistant Professor
Industrial and Systems Engineering
Lehigh University
(610)758-4784
tkralphs at lehigh.edu
www.lehigh.edu/~tkr2

"An optimist is someone who thinks
'It doesn't get any better than this.'
A pessimist is someone who's afraid that's true."