this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4expected: !Result
5 solution: !SolutionSet
6 - !Solution
7 range_avi1:
8 - 9
9 - 8
10 - 7
11 - !Solution
12 range_avi1:
13 - 8
14 - 9
15 - 7
16 - !Solution
17 range_avi1:
18 - 9
19 - 7
20 - 8
21 - !Solution
22 range_avi1:
23 - 7
24 - 9
25 - 8
26 - !Solution
27 range_avi1:
28 - 8
29 - 7
30 - 9
31 - !Solution
32 range_avi1:
33 - 7
34 - 8
35 - 9
36options:
37 all_solutions: true
38***/
39
40include "range.mzn";
41
42%-----------------------------------------------------------------------------%
43% range
44%-----------------------------------------------------------------------------%
45array[1..3] of var int: range_avi1 ::add_to_output;
46
47constraint range(range_avi1, {1, 2, 3}, {7, 8, 9});
48
49solve satisfy;
50
51output ["range_avi1 = array1d(1..3, ", show(range_avi1), ");\n"];