this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5% Example battleships problem for bs.mzn.
6%
7include "battleships.mzn.model";
8
9n = 10;
10
11a = array2d(ROW, COL,
12 [| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
13 | 0, _, _, _, _, _, _, _, _, _, _, 0
14 | 0, _, _, _, _, _, _, _, 0, _, 0, 0
15 | 0, 0, _, _, _, _, _, _, _, 0, _, 0
16 | 0, _, _, _, _, _, _, _, _, _, _, 0
17 | 0, _, _, _, _, _, _, _, _, _, _, 0
18 | 0, _, _, _, _, _, _, _, _, _, _, 0
19 | 0, _, _, _, _, _, _, _, _, _, _, 0
20 | 0, _, _, _, 0, _, _, _, _, _, _, 0
21 | 0, _, _, _, _, _, _, _, _, _, _, 0
22 | 0, _, _, _, _, _, _, _, _, _, _, 0
23 | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
24 |]
25);
26
27constraint a[2, 9] > 1;
28
29row_sums = [2, 1, 5, 0, 0, 0, 1, 6, 1, 4];
30
31col_sums = [1, 4, 1, 2, 3, 1, 3, 0, 4, 1];
32
33n_classes = 4;
34
35class_sizes = [4, 3, 2, 1];
36