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