[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #64: Integer infeasible problem not detected

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

#64: Integer infeasible problem not detected
------------------------+---------------------------------------------------
 Reporter:  falk        |       Owner:  somebody
     Type:  defect      |      Status:  new     
 Priority:  major       |   Milestone:          
Component:  component1  |     Version:          
 Keywords:              |  
------------------------+---------------------------------------------------
 [I tried sending to the mailing list, but my posts don't show up]

 I have the attached ILP, which is integer infeasible, as determined by
 cplex and glpk. However, cbc gives me a "solution", where integer
 variables have fractional values:

 {{{
 % cbc -import /tmp/tmp1.lp -solve -solution /dev/stdout -quit
 Coin Cbc and Clp Solver version 2.20.00, build Jan 12 2009
 [...]
 Optimal - objective value      -74.870818
       2 e_12_15                 0.5         -8.9688789e-16
       3 e_12_16                 0.5         -5.0889498e-16
 [...]
 }}}

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