this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 partitions:
7 - !!set {1, 2, 3}
8 - !!set {1, 2, 3}
9 - !!set {1, 2, 3}
10- !Result
11 solution: !Solution
12 partitions:
13 - !Range 1..3
14 - !Range 1..3
15 - !Range 1..3
16- !Result
17 solution: !Solution
18 partitions:
19 - !!set {}
20 - !!set {}
21 - !!set {}
22***/
23
24% Regression test for a bug in mzn2fzn version 1.2 (and up to
25% r13389 on the trunk). The following model used to result in
26% variable declaration with a self-assignment being produced
27% by mzn2fzn.
28
29array[1..3] of var set of {1,2,3}: partitions :: add_to_output;
30
31constraint array_union(partitions) == array_union(partitions);
32
33solve satisfy;
34