1var 1..1: index_i :: output_var = 1; 2var 3..3: index_j :: output_var = 3; 3array [1..12] of var 0..9: matrix; 4var 7..7: value :: output_var = 7; 5constraint int_eq(0, matrix[5]); 6constraint int_eq(0, matrix[10]); 7constraint int_eq(0, matrix[11]); 8constraint int_eq(1, matrix[2]); 9constraint int_eq(1, matrix[4]); 10constraint int_eq(1, matrix[9]); 11constraint int_eq(2, matrix[8]); 12constraint int_eq(3, matrix[7]); 13constraint int_eq(4, matrix[1]); 14constraint int_eq(6, matrix[12]); 15constraint int_eq(7, matrix[3]); 16constraint int_eq(8, matrix[6]); 17constraint int_eq(matrix[3], 7); 18solve satisfy; 19