More Complex Constraints
Constraints don’t need to be simple
- D O N A L D
- + G E R A L D
- = R O B E R T
Cryptarithmetic: all letters different and sum correct
Variables are D, O, N, A, L, G, E, R, B, T
Domains:
- {0,1,2,3, … , 9} for O, N, A L,E,R,B,T
- {1,2,3, … , 9} for D, G