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