Example:Cryptarithmetic T WO R +T WO FOUR 2 Variables:F TU W RO X1 X2 X3 Domains:{0,1,2,3,4,5,6,7,8,9} Constraints alldiff F,T,U,W,R,O) O+O=R+10·X1,etc. Chapter 59Example: Cryptarithmetic F T U W R O + T W O T W O F O U R X3 X2 X1 Variables: F T U W R O X1 X2 X3 Domains: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Constraints alldiff(F, T,U, W, R, O) O + O = R + 10 · X1, etc. Chapter 5 9