Contd…
•Example2:Solvethefollowingpuzzlebyassigningnumeral(0-
9)insuchawaythateachletterisassigneduniquedigitwhich
satisfythefollowingaddition.
•Solution:Here,
•Variables:{F,O,U,R,E,I,G,H,T, c
1,c
2, C3 ,c4}
•Domains: {0,1,2,3,4,5,6,7,8,9}
•Constraints: Alldiff(F,O,U,R,E,I,G,H,T)
•where c1, c2, and c3 are auxiliary variables representing the digit (0 or 1) carried over
into the next column.
10412/25/2018 By: Tekendra Nath Yogi