this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 objective: 1
7 var1: 1
8 var2: 2
9 var3: 1
10 var4: 1
11***/
12
13% Regression test for bug #312.
14% The element constraint below was being incorrectly flattened to the FlatZinc
15% array_int_element constraint, rather than array_var_int_element - the former
16% is a type error.
17
18
19include "globals.mzn";
20
21var int: var1;
22var int: var2;
23var int: var3;
24var int: var4;
25
26constraint (var1 = 1);
27constraint (var2 = 2);
28
29constraint element(var4,[var1, var2],var3);
30
31solve minimize var3;
32output ["var1:", show(var1),"\n"];