Error instead of solution

[matsc-at-sics-se]

The following model should succeed with X = 1, but raises an error.

include "globals.mzn";
var 1..2: X;
constraint
    bin_packing_load([1, 0, 0],[X],[1]);

[radsz]

Hi Mats,

Thank you for the bug report. For this particular case, due to duplicates (0 appearing twice) the decomposition of this constraint is not working well. We could not figure out any quick fix so for a moment, this issue will remain open.

best,
Radek

[krzku]

Hi Mats,

I have fixed the problem and it will be included in the new release.

Best,
/Kris