test.dzn
330 Bytes
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];