Wrong solution

[matsc-at-sics-se]

The following model gives two solutions:

• A=1, B=C=D=2
• A=1, B=3, C=D=2

The second solution is wrong.

include "globals.mzn";
var 1..1 union 4..4: A;
var 2..3 union 5..5: B;
var 2..2 union 4..4 union 6..6: C;
var 2..2 union 4..4: D;
constraint
  maximum(B,[2,D,A,C]);
solve :: int_search([A,B,C,D], input_order, indomain_min, complete) satisfy;

[krzku]

Fixed.