langfords2_4.csp

//Langford, k = 2 n = 4

// Number of variables:
8

// Domains of the variables: 1.. (inclusive)
1, 8
1, 8
1, 8
1, 8
1, 8
1, 8
1, 8
1, 8

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

c(6, 7)
1, 6
2, 7
3, 8