software/mza/tests/examples/battleships_2.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / examples / battleships_2.mzn

at develop 634 B view raw

 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 battleships.mzn.
 6%
 7include "battleships.mzn.model";
 8
 9n = 6;
10
11a = array2d(ROW, COL,
12    [| 0, 0, 0, 0, 0, 0, 0, 0
13     | 0, _, _, _, _, _, _, 0
14     | 0, _, _, _, _, _, _, 0
15     | 0, _, _, _, _, _, _, 0
16     | 0, _, _, _, _, _, _, 0
17     | 0, _, _, _, _, _, _, 0
18     | 0, _, _, _, _, _, _, 0
19     | 0, 0, 0, 0, 0, 0, 0, 0
20     |]
21);
22
23constraint a[1, 3] > 0;
24constraint a[2, 6] > 0;
25constraint a[5, 6] > 0;
26
27row_sums = [2, 2, 1, 1, _, 1];
28
29col_sums = [2, 0, _, _, _, _];
30
31n_classes = 3;
32
33class_sizes = [3, 2, 1];
34