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