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