#
# The constraints for uniqueness (Sherlock)
#
# Each house is of a different colour
01 not-equal 02
01 not-equal 03
01 not-equal 04
01 not-equal 05
01 not-equal 06
02 not-equal 01
02 not-equal 03
02 not-equal 04
02 not-equal 05
02 not-equal 06
03 not-equal 01
03 not-equal 02
03 not-equal 04
03 not-equal 05
03 not-equal 06
04 not-equal 01
04 not-equal 02
04 not-equal 03
04 not-equal 05
04 not-equal 06
05 not-equal 01
05 not-equal 02
05 not-equal 03
05 not-equal 04
05 not-equal 06
06 not-equal 01
06 not-equal 02
06 not-equal 03
06 not-equal 04
06 not-equal 05
#
# Each person is of a different nationality
07 not-equal 08
07 not-equal 09
07 not-equal 10
07 not-equal 11
07 not-equal 12
08 not-equal 07
08 not-equal 09
08 not-equal 10
08 not-equal 11
08 not-equal 12
09 not-equal 07
09 not-equal 08
09 not-equal 10
09 not-equal 11
09 not-equal 12
10 not-equal 07
10 not-equal 08
10 not-equal 09
10 not-equal 11
10 not-equal 12
11 not-equal 07
11 not-equal 08
11 not-equal 09
11 not-equal 10
11 not-equal 12
12 not-equal 07
12 not-equal 08
12 not-equal 09
12 not-equal 10
12 not-equal 11
#
# Each column has a unique number
13 not-equal 14
13 not-equal 15
13 not-equal 16
13 not-equal 17
13 not-equal 18
14 not-equal 13
14 not-equal 15
14 not-equal 16
14 not-equal 17
14 not-equal 18
15 not-equal 13
15 not-equal 14
15 not-equal 16
15 not-equal 17
15 not-equal 18
16 not-equal 13
16 not-equal 14
16 not-equal 15
16 not-equal 17
16 not-equal 18
17 not-equal 13
17 not-equal 14
17 not-equal 15
17 not-equal 16
17 not-equal 17
18 not-equal 13
18 not-equal 14
18 not-equal 15
18 not-equal 16
18 not-equal 17
#
# Each column has a unique fruit
19 not-equal 20
19 not-equal 21
19 not-equal 22
19 not-equal 23
19 not-equal 24
20 not-equal 19
20 not-equal 21
20 not-equal 22
20 not-equal 23
20 not-equal 24
21 not-equal 19
21 not-equal 20
21 not-equal 22
21 not-equal 23
21 not-equal 24
22 not-equal 19
22 not-equal 20
22 not-equal 21
22 not-equal 23
22 not-equal 24
23 not-equal 19
23 not-equal 20
23 not-equal 21
23 not-equal 22
23 not-equal 24
24 not-equal 19
24 not-equal 20
24 not-equal 21
24 not-equal 22
24 not-equal 23
#
# Each column has a unique street sign
25 not-equal 26
25 not-equal 27
25 not-equal 28
25 not-equal 29
25 not-equal 30
26 not-equal 25
26 not-equal 27
26 not-equal 28
26 not-equal 29
26 not-equal 30
27 not-equal 25
27 not-equal 26
27 not-equal 28
27 not-equal 29
27 not-equal 30
28 not-equal 25
28 not-equal 26
28 not-equal 27
28 not-equal 28
29 not-equal 30
29 not-equal 25
29 not-equal 26
29 not-equal 27
29 not-equal 28
29 not-equal 30
30 not-equal 25
30 not-equal 26
30 not-equal 27
30 not-equal 28
30 not-equal 29
#
# Each column has a unique letter
31 not-equal 32
31 not-equal 33
31 not-equal 34
31 not-equal 35
31 not-equal 36
31 not-equal 31
31 not-equal 32
31 not-equal 33
31 not-equal 34
31 not-equal 35
31 not-equal 36
32 not-equal 31
32 not-equal 33
32 not-equal 34
32 not-equal 35
32 not-equal 36
33 not-equal 31
33 not-equal 32
33 not-equal 34
33 not-equal 35
33 not-equal 36
34 not-equal 31
34 not-equal 32
34 not-equal 33
34 not-equal 35
34 not-equal 36
35 not-equal 31
35 not-equal 32
35 not-equal 33
35 not-equal 34
35 not-equal 36
36 not-equal 31
36 not-equal 32
36 not-equal 33
36 not-equal 34
36 not-equal 35
