/usr/share/doc/toulbar2/validation/default/4queens-salldiff.wcsp is in toulbar2 0.9.8-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | 4_QUEENS 12 7 11 1
4 4 4 4 7 7 7 7 7 7 7 7
4 0 1 2 3 -1 salldiff var 10000000
2 4 0 1 4
0 0 0
1 1 0
2 2 0
3 3 0
2 5 1 1 4
1 0 0
2 1 0
3 2 0
4 3 0
2 6 2 1 4
2 0 0
3 1 0
4 2 0
5 3 0
2 7 3 1 4
3 0 0
4 1 0
5 2 0
6 3 0
4 4 5 6 7 -1 salldiff var 10000000
2 8 0 1 4
3 0 0
4 1 0
5 2 0
6 3 0
2 9 1 1 4
2 0 0
3 1 0
4 2 0
5 3 0
2 10 2 1 4
1 0 0
2 1 0
3 2 0
4 3 0
2 11 3 1 4
0 0 0
1 1 0
2 2 0
3 3 0
4 8 9 10 11 -1 salldiff var 10000000
|