#
# The constraints for uniqueness
#
# Each house is of different colour
01 not-equal 02
01 not-equal 03
01 not-equal 04
01 not-equal 05
02 not-equal 01
02 not-equal 03
02 not-equal 04
02 not-equal 05
03 not-equal 01
03 not-equal 02
03 not-equal 04
03 not-equal 05
04 not-equal 01
04 not-equal 02
04 not-equal 03
04 not-equal 05
05 not-equal 01
05 not-equal 02
05 not-equal 03
05 not-equal 04
#
# Inhabited by a single person
11 not-equal 12
11 not-equal 13
11 not-equal 14
11 not-equal 15
12 not-equal 11
12 not-equal 13
12 not-equal 14
12 not-equal 15
13 not-equal 11
13 not-equal 12
13 not-equal 14
13 not-equal 15
14 not-equal 11
14 not-equal 12
14 not-equal 13
14 not-equal 15
15 not-equal 11
15 not-equal 12
15 not-equal 13
15 not-equal 14
#
# Who smokes a unique brand of cigarettes
06 not-equal 07
06 not-equal 08
06 not-equal 09
06 not-equal 10
07 not-equal 06
07 not-equal 08
07 not-equal 09
07 not-equal 10
08 not-equal 06
08 not-equal 07
08 not-equal 09
08 not-equal 10
09 not-equal 06
09 not-equal 07
09 not-equal 08
09 not-equal 10
10 not-equal 06
10 not-equal 07
10 not-equal 08
10 not-equal 09
#
# Owns a pet
16 not-equal 17
16 not-equal 18
16 not-equal 19
16 not-equal 20
17 not-equal 16
17 not-equal 18
17 not-equal 19
17 not-equal 20
18 not-equal 16
18 not-equal 17
18 not-equal 19
18 not-equal 20
19 not-equal 16
19 not-equal 17
19 not-equal 18
19 not-equal 20
20 not-equal 16
20 not-equal 17
20 not-equal 18
20 not-equal 19
#
# Has a preferred drink
21 not-equal 22
21 not-equal 23
21 not-equal 24
21 not-equal 25
22 not-equal 21
22 not-equal 23
22 not-equal 24
22 not-equal 25
23 not-equal 21
23 not-equal 22
23 not-equal 24
23 not-equal 25
24 not-equal 21
24 not-equal 22
24 not-equal 23
24 not-equal 25
25 not-equal 21
25 not-equal 22
25 not-equal 23
25 not-equal 24
