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