/usr/share/doc/toulbar2/validation/default/4queens-bis.cp 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 | # problem name and initial problem upper bound
4_QUEENS-bis 1
# variables with their explicit domains
queen_row1 1 2 3 4
queen_row2 1 2 3 4
queen_row3 1 2 3 4
queen_row4 1 2 3 4
# cost functions defined by a formula...
hard( alldiff(queen_row1, queen_row2, queen_row3, queen_row4) )
shared(hard( abs(queen_row1 - queen_row2) != 1 ))
shared(hard( abs(queen_row1 - queen_row3) != 2 ))
queen_row2 queen_row3 defined by 1
queen_row2 queen_row4 defined by 2
queen_row3 queen_row4 defined by 1
# ... or by a list of tuples.
# hard( abs(queen_row1 - queen_row4) != 3 )
# is equivalent to:
queen_row1 queen_row4 0
1 4 -1
4 1 -1
# end of file 4queens-bis.cp
|