[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #58: Cbc 2.2 reports model integer-infeasible, actually feasible

[COIN-OR Branch-and-Cut MIP Solver]

#58: Cbc 2.2 reports model integer-infeasible, actually feasible
-------------------------+--------------------------------------------------
  Reporter:  nowozin     |       Owner:  somebody
      Type:  defect      |      Status:  new     
  Priority:  major       |   Milestone:          
 Component:  component1  |     Version:          
Resolution:              |    Keywords:          
-------------------------+--------------------------------------------------
Comment (by asm4):

 both clp-1.06.00 and cplex-10.2 lp solver declare the LP relaxation
 infeasible. so its more likely an issue with lp tolerances

-- 
Ticket URL: <https://projects.coin-or.org/Cbc/ticket/58#comment:4>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.