this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 a:
7 - [0, 0, 0, 0, 0, 0, 0, 0]
8 - [0, 1, 0, 1, 0, 0, 0, 0]
9 - [0, 0, 0, 0, 0, 1, 2, 0]
10 - [0, 1, 0, 0, 0, 0, 0, 0]
11 - [0, 0, 0, 1, 0, 0, 0, 0]
12 - [0, 0, 0, 2, 0, 1, 2, 0]
13 - [0, 0, 0, 3, 0, 0, 0, 0]
14 - [0, 0, 0, 0, 0, 0, 0, 0]
15 col_sums: [2, 0, 4, 0, 2, 2]
16 row_sums: [2, 2, 1, 1, 3, 1]
17- !Result
18 solution: !Solution
19 a:
20 - [0, 0, 0, 0, 0, 0, 0, 0]
21 - [0, 0, 0, 1, 2, 0, 0, 0]
22 - [0, 1, 0, 0, 0, 0, 1, 0]
23 - [0, 0, 0, 0, 0, 0, 2, 0]
24 - [0, 0, 0, 1, 0, 0, 0, 0]
25 - [0, 1, 0, 2, 0, 0, 1, 0]
26 - [0, 0, 0, 3, 0, 0, 0, 0]
27 - [0, 0, 0, 0, 0, 0, 0, 0]
28 col_sums: [2, 0, 4, 1, 0, 3]
29 row_sums: [2, 2, 1, 1, 3, 1]
30- !Result
31 solution: !Solution
32 a:
33 - [0, 0, 0, 0, 0, 0, 0, 0]
34 - [0, 0, 0, 1, 0, 0, 1, 0]
35 - [0, 0, 0, 2, 0, 0, 2, 0]
36 - [0, 1, 0, 0, 0, 0, 0, 0]
37 - [0, 0, 0, 0, 0, 0, 1, 0]
38 - [0, 1, 0, 1, 0, 0, 2, 0]
39 - [0, 0, 0, 0, 0, 0, 3, 0]
40 - [0, 0, 0, 0, 0, 0, 0, 0]
41 col_sums: [2, 0, 3, 0, 0, 5]
42 row_sums: [2, 2, 1, 1, 3, 1]
43- !Result
44 solution: !Solution
45 a:
46 - [0, 0, 0, 0, 0, 0, 0, 0]
47 - [0, 1, 0, 1, 0, 0, 0, 0]
48 - [0, 0, 0, 2, 0, 0, 1, 0]
49 - [0, 0, 0, 3, 0, 0, 0, 0]
50 - [0, 0, 0, 0, 0, 0, 1, 0]
51 - [0, 0, 0, 1, 2, 0, 2, 0]
52 - [0, 1, 0, 0, 0, 0, 0, 0]
53 - [0, 0, 0, 0, 0, 0, 0, 0]
54 col_sums: [2, 0, 4, 1, 0, 3]
55 row_sums: [2, 2, 1, 1, 3, 1]
56***/
57
58% Example battleships problem for battleships.mzn.
59%
60include "battleships.mzn.model";
61
62n = 6;
63
64a = array2d(ROW, COL,
65 [| 0, 0, 0, 0, 0, 0, 0, 0
66 | 0, _, _, _, _, _, _, 0
67 | 0, _, _, _, _, _, _, 0
68 | 0, _, _, _, _, _, _, 0
69 | 0, _, _, _, _, _, _, 0
70 | 0, _, _, _, _, _, _, 0
71 | 0, _, _, _, _, _, _, 0
72 | 0, 0, 0, 0, 0, 0, 0, 0
73 |]
74);
75
76constraint a[2, 4] > 0;
77constraint a[3, 7] > 0;
78constraint a[6, 7] > 0;
79
80row_sums = [2, 2, 1, 1, _, 1];
81
82col_sums = [2, 0, _, _, _, _];
83
84n_classes = 3;
85
86class_sizes = [3, 2, 1];
87