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
5include "tenpenki.mzn.model";
6
7nrows = 15;
8ncols = 15;
9
10constraint row_constraint( 1, [4, 4]);
11constraint row_constraint( 2, [1, 3, 1]);
12constraint row_constraint( 3, [2, 3, 2]);
13constraint row_constraint( 4, [11]);
14constraint row_constraint( 5, [12]);
15constraint row_constraint( 6, [2, 3, 3]);
16constraint row_constraint( 7, [11]);
17constraint row_constraint( 8, [3, 3, 1]);
18constraint row_constraint( 9, [1, 1, 1, 1]);
19constraint row_constraint(10, [1, 1, 1, 1]);
20constraint row_constraint(11, [1, 1, 1, 1]);
21constraint row_constraint(12, [3]);
22constraint row_constraint(13, [2]);
23constraint row_constraint(14, [2]);
24constraint row_constraint(15, [2]);
25
26constraint col_constraint( 1, []);
27constraint col_constraint( 2, []);
28constraint col_constraint( 3, [4]);
29constraint col_constraint( 4, [7]);
30constraint col_constraint( 5, [1, 2, 2]);
31constraint col_constraint( 6, [1, 2, 5]);
32constraint col_constraint( 7, [8]);
33constraint col_constraint( 8, [6]);
34constraint col_constraint( 9, [7]);
35constraint col_constraint(10, [1, 2, 5]);
36constraint col_constraint(11, [1, 2, 2]);
37constraint col_constraint(12, [12]);
38constraint col_constraint(13, [5, 4]);
39constraint col_constraint(14, [11]);
40constraint col_constraint(15, []);