this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_mip
4
5% Regression test for bug #312.
6% The element constraint below was being incorrectly flattened to the FlatZinc
7% array_int_element constraint, rather than array_var_int_element - the former
8% is a type error.
9
10
11include "globals.mzn";
12
13var int: var1;
14var int: var2;
15var int: var3;
16var int: var4;
17
18constraint (var1 = 1);
19constraint (var2 = 2);
20
21constraint element(var4,[var1, var2],var3);
22
23solve minimize var3;
24output ["var1:", show(var1),"\n"];