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
Previous slide
Next slide
Back to first slide
View graphic version