[eclipse-clp-users] small problem

Hi guys,

 

I have a small version of the bin covering problem which I try to solve.

I have to versions of it, the second one uses reified constraints.

 

It happens that the second one give different results compared with the
first implementation which does not uses reified constraints.

 

Can you please tell me what is wrong_

 

Bogdan.