Pedro Roque / PHACT_src

Blame view

Debug/src/csps/test.dzn 330 Bytes
Edit Raw Normal View History
4d26a735   Pedro Roque   Increased recogni... 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
n = 8;
a = [| 0, 1, 0, 1, 0, 0, 0, 0
     | 0, 1, 0, 0, 0, 1, 0, 0
     | 0, 0, 0, 0, 0, 0, 0, 1
     | 0, 0, 0, 0, 1, 0, 0, 0
     | 0, 0, 0, 0, 0, 0, 0, 0
     | 1, 0, 0, 0, 0, 0, 1, 0
     | 1, 0, 0, 1, 0, 0, 0, 1
     | 0, 0, 0, 0, 1, 0, 0, 0
     |];

row_sums = [3, 1, 1, 0, 2, 1, 0, 4];
col_sums = [2, 2, 1, 1, 1, 2, 1, 2];