8Queens.csp

//8-Queens.

// Number of variables:
8

// Domains of the variables: 0.. (inclusive)
0, 7
0, 7
0, 7
0, 7
0, 7
0, 7
0, 7
0, 7

// constraints (vars indexed from 0, allowed tuples):
c(0, 1)
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
7, 0
7, 1
7, 2
7, 3
7, 4
7, 5

c(0, 2)
0, 1
0, 3
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 4
1, 5
1, 6
1, 7
2, 1
2, 3
2, 5
2, 6
2, 7
3, 0
3, 2
3, 4
3, 6
3, 7
4, 0
4, 1
4, 3
4, 5
4, 7
5, 0
5, 1
5, 2
5, 4
5, 6
6, 0
6, 1
6, 2
6, 3
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 4
7, 6

c(0, 3)
0, 1
0, 2
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 5
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 6
2, 7
3, 1
3, 2
3, 4
3, 5
3, 7
4, 0
4, 2
4, 3
4, 5
4, 6
5, 0
5, 1
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 2
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 5
7, 6

c(0, 4)
0, 1
0, 2
0, 3
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 4
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 7
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 0
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 3
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 4
7, 5
7, 6

c(0, 5)
0, 1
0, 2
0, 3
0, 4
0, 6
0, 7
1, 0
1, 2
1, 3
1, 4
1, 5
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 6
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 1
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 2
6, 3
6, 4
6, 5
6, 7
7, 0
7, 1
7, 3
7, 4
7, 5
7, 6

c(0, 6)
0, 1
0, 2
0, 3
0, 4
0, 5
0, 7
1, 0
1, 2
1, 3
1, 4
1, 5
1, 6
2, 0
2, 1
2, 3
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 4
5, 6
5, 7
6, 1
6, 2
6, 3
6, 4
6, 5
6, 7
7, 0
7, 2
7, 3
7, 4
7, 5
7, 6

c(0, 7)
0, 1
0, 2
0, 3
0, 4
0, 5
0, 6
1, 0
1, 2
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
6, 5
6, 7
7, 1
7, 2
7, 3
7, 4
7, 5
7, 6

c(1, 2)
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
7, 0
7, 1
7, 2
7, 3
7, 4
7, 5

c(1, 3)
0, 1
0, 3
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 4
1, 5
1, 6
1, 7
2, 1
2, 3
2, 5
2, 6
2, 7
3, 0
3, 2
3, 4
3, 6
3, 7
4, 0
4, 1
4, 3
4, 5
4, 7
5, 0
5, 1
5, 2
5, 4
5, 6
6, 0
6, 1
6, 2
6, 3
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 4
7, 6

c(1, 4)
0, 1
0, 2
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 5
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 6
2, 7
3, 1
3, 2
3, 4
3, 5
3, 7
4, 0
4, 2
4, 3
4, 5
4, 6
5, 0
5, 1
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 2
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 5
7, 6

c(1, 5)
0, 1
0, 2
0, 3
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 4
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 7
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 0
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 3
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 4
7, 5
7, 6

c(1, 6)
0, 1
0, 2
0, 3
0, 4
0, 6
0, 7
1, 0
1, 2
1, 3
1, 4
1, 5
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 6
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 1
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 2
6, 3
6, 4
6, 5
6, 7
7, 0
7, 1
7, 3
7, 4
7, 5
7, 6

c(1, 7)
0, 1
0, 2
0, 3
0, 4
0, 5
0, 7
1, 0
1, 2
1, 3
1, 4
1, 5
1, 6
2, 0
2, 1
2, 3
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 4
5, 6
5, 7
6, 1
6, 2
6, 3
6, 4
6, 5
6, 7
7, 0
7, 2
7, 3
7, 4
7, 5
7, 6

c(2, 3)
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
7, 0
7, 1
7, 2
7, 3
7, 4
7, 5

c(2, 4)
0, 1
0, 3
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 4
1, 5
1, 6
1, 7
2, 1
2, 3
2, 5
2, 6
2, 7
3, 0
3, 2
3, 4
3, 6
3, 7
4, 0
4, 1
4, 3
4, 5
4, 7
5, 0
5, 1
5, 2
5, 4
5, 6
6, 0
6, 1
6, 2
6, 3
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 4
7, 6

c(2, 5)
0, 1
0, 2
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 5
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 6
2, 7
3, 1
3, 2
3, 4
3, 5
3, 7
4, 0
4, 2
4, 3
4, 5
4, 6
5, 0
5, 1
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 2
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 5
7, 6

c(2, 6)
0, 1
0, 2
0, 3
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 4
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 7
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 0
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 3
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 4
7, 5
7, 6

c(2, 7)
0, 1
0, 2
0, 3
0, 4
0, 6
0, 7
1, 0
1, 2
1, 3
1, 4
1, 5
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 6
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 1
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 2
6, 3
6, 4
6, 5
6, 7
7, 0
7, 1
7, 3
7, 4
7, 5
7, 6

c(3, 4)
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
7, 0
7, 1
7, 2
7, 3
7, 4
7, 5

c(3, 5)
0, 1
0, 3
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 4
1, 5
1, 6
1, 7
2, 1
2, 3
2, 5
2, 6
2, 7
3, 0
3, 2
3, 4
3, 6
3, 7
4, 0
4, 1
4, 3
4, 5
4, 7
5, 0
5, 1
5, 2
5, 4
5, 6
6, 0
6, 1
6, 2
6, 3
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 4
7, 6

c(3, 6)
0, 1
0, 2
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 5
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 6
2, 7
3, 1
3, 2
3, 4
3, 5
3, 7
4, 0
4, 2
4, 3
4, 5
4, 6
5, 0
5, 1
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 2
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 5
7, 6

c(3, 7)
0, 1
0, 2
0, 3
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 4
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 5
2, 7
3, 0
3, 1
3, 2
3, 4
3, 5
3, 6
4, 1
4, 2
4, 3
4, 5
4, 6
4, 7
5, 0
5, 2
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 3
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 4
7, 5
7, 6

c(4, 5)
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
7, 0
7, 1
7, 2
7, 3
7, 4
7, 5

c(4, 6)
0, 1
0, 3
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 4
1, 5
1, 6
1, 7
2, 1
2, 3
2, 5
2, 6
2, 7
3, 0
3, 2
3, 4
3, 6
3, 7
4, 0
4, 1
4, 3
4, 5
4, 7
5, 0
5, 1
5, 2
5, 4
5, 6
6, 0
6, 1
6, 2
6, 3
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 4
7, 6

c(4, 7)
0, 1
0, 2
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 3
1, 5
1, 6
1, 7
2, 0
2, 1
2, 3
2, 4
2, 6
2, 7
3, 1
3, 2
3, 4
3, 5
3, 7
4, 0
4, 2
4, 3
4, 5
4, 6
5, 0
5, 1
5, 3
5, 4
5, 6
5, 7
6, 0
6, 1
6, 2
6, 4
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 5
7, 6

c(5, 6)
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
7, 0
7, 1
7, 2
7, 3
7, 4
7, 5

c(5, 7)
0, 1
0, 3
0, 4
0, 5
0, 6
0, 7
1, 0
1, 2
1, 4
1, 5
1, 6
1, 7
2, 1
2, 3
2, 5
2, 6
2, 7
3, 0
3, 2
3, 4
3, 6
3, 7
4, 0
4, 1
4, 3
4, 5
4, 7
5, 0
5, 1
5, 2
5, 4
5, 6
6, 0
6, 1
6, 2
6, 3
6, 5
6, 7
7, 0
7, 1
7, 2
7, 3
7, 4
7, 6

c(6, 7)
0, 2
0, 3
0, 4
0, 5
0, 6
0, 7
1, 3
1, 4
1, 5
1, 6
1, 7
2, 0
2, 4
2, 5
2, 6
2, 7
3, 0
3, 1
3, 5
3, 6
3, 7
4, 0
4, 1
4, 2
4, 6
4, 7
5, 0
5, 1
5, 2
5, 3
5, 7
6, 0
6, 1
6, 2
6, 3
6, 4
7, 0
7, 1
7, 2
7, 3
7, 4
7, 5