| Example:
Cryptarithmetic |
|
|
|
|
|
|
|
|
|
|
|
|
|
| n | Variables: F T U W |
|||||||||||
| R O X1
X2 X3 |
||||||||||||
| n | Domains: {0,1,2,3,4,5,6,7,8,9} |
|||||||||||
| n | Constraints: Alldiff
(F,T,U,W,R,O) |
|||||||||||
| n | O +
O = R + 10 · X1 |
|||||||||||
| n | X1
+ W + W = U + 10 · X2 |
|||||||||||
| n | X2
+ T + T = O + 10 · X3 |
|||||||||||
| n | X3
= F, T ≠ 0, F ≠ 0 |
|||||||||||
