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