SEND+MORE=MONEY

sendmory(Vars):-

Vars=[S,E,N,D,M,O,R,Y], % variable generation

Vars in 0..9,

all_different(Vars), % constraint generation

S #\= 0, M #\= 0,

1000*S+100*E+10*N+D

+ 1000*M+100*O+10*R+E #=

10000*M+1000*O+100*N+10*E+Y,

labeling(Vars). % labeling