SEND_MORE_MONEY.mzn

% Send more money problem:

include "alldifferent.mzn"; % wszystkie litery to rozne cyfry

%int: parameter:
var 1..9: S; 
var 0..9: E; 
var 0..9: N; 
var 0..9: D; 
var 1..9: M; 
var 0..9: O; 
var 0..9: R; 
var 0..9: Y;

constraint
1000*S + 100*E + 10*N + D 
+ 1000*M + 100*O + 10*R+ E
= 10000*M + 1000*O + 100*N + 10*E + Y;

constraint alldifferent([S, E, N, D, M, O, R, Y]);

solve satisfy;

output ["   ", show(S), show(E), show(N), show(D), "\n",
        "+  ", show(M), show(O), show(R), show(E), "\n",
        "=  ", show(M), show(O), show(N), show(E), show(Y), "\n"];
        
%output ["Parameter: ", show(parameter)];