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

this repo has no description

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

at develop 827 B view raw

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