this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 a:
7 - [false, true , true , false, false, false, true , true , false, false, true , true , true , false]
8 - [true , false, false, true , false, true , false, false, true , false, true , false, false, true ]
9 - [true , false, false, false, false, false, true , false, false, false, true , false, false, true ]
10 - [true , false, false, false, false, false, false, true , false, false, true , true , true , false]
11 - [true , false, false, true , false, true , false, false, true , false, true , false, false, false]
12 - [false, true , true , false, false, false, true , true , false, false, true , false, false, false]
13- !Result
14 solution: !Solution
15 a:
16 - [false, true , true , false, false, false, true , true , false, false, true , true , true , false]
17 - [true , false, false, true , false, true , false, false, true , false, true , false, false, true ]
18 - [true , false, false, false, false, false, false, true, false, false, true , false, false, true ]
19 - [true , false, false, false, false, false, true , false, false, false, true , true , true , false]
20 - [true , false, false, true , false, true , false, false, true , false, true , false, false, false]
21 - [false, true , true , false, false, false, true , true , false, false, true , false, false, false]
22***/
23
24include "tenpenki.mzn.model";
25
26nrows = 6;
27ncols = 14;
28
29constraint row_constraint(1, [2, 2, 3]);
30constraint row_constraint(2, [1, 1, 1, 1, 1, 1]);
31constraint row_constraint(3, [1, 1, 1, 1]);
32constraint row_constraint(4, [1, 1, 3]);
33constraint row_constraint(5, [1, 1, 1, 1, 1]);
34constraint row_constraint(6, [2, 2, 1]);
35
36constraint col_constraint( 1, [4]);
37constraint col_constraint( 2, [1, 1]);
38constraint col_constraint( 3, [1, 1]);
39constraint col_constraint( 4, [1, 1]);
40constraint col_constraint( 5, []);
41constraint col_constraint( 6, [1, 1]);
42constraint col_constraint( 7, [1, 1, 1]);
43constraint col_constraint( 8, [1, 1, 1]);
44constraint col_constraint( 9, [1, 1]);
45constraint col_constraint(10, []);
46constraint col_constraint(11, [6]);
47constraint col_constraint(12, [1, 1]);
48constraint col_constraint(13, [1, 1]);
49constraint col_constraint(14, [2]);
50
51% Solution:
52%
53% . # # . . . # # . . # # # .
54% # . . # . # . . # . # . . #
55% # . . . . . # . . . # . . #
56% # . . . . . . # . . # # # .
57% # . . # . # . . # . # . . .
58% . # # . . . # # . . # . . .