[eclipse-clp-users] CLP/CBC Problem

Hi,

I found a strange bug with CLP/CBC and ECLiPSe 7.x (incl. 7.1.13). The 
program below returns a "no", as CLP/CBC seems to think that the problem 
is infeasible.
If a small change is made, e.g., B210 removed from the list of integers, 
then the solver returns the correct answer "0.0".
CPLEX or Xpress do not have a problem.
ECLiPSe 6.1 was also fine.

Cheers,
Thorsten




:- lib(eplex).

run(D) :-
         IntVars = [B11,B12,B13,B14,B15,B16,B17,B18,B19,B110,
                    B21,B22,B23,B24,B25,B26,B27,B28,B29,B210],
         100 $= C+sum(IntVars),
         R11 $= B11+B12+B13+B14+B15,
         R12 $= B16+B17+B18+B19+B110,
         R21 $= B21+B22+B23+B24+B25,
         R22 $= B26+B27+B28+B29+B210,
         R11 $>= 0,
         R11 $=< 30,
         R12 $>= 0,
         R12 $=< 30,
         R21 $>= 0,
         R21 $=< 20,
         R22 $>= 0,
         R22 $=< 20,
         C $>= 0,
         C $=< 100,
         eplex:integers(IntVars),
         eplex_solver_setup(min(C), D, [], []),
         eplex_solve(D).