this repo has no description
dekker.one
1include "alldifferent.mzn";
2
3var 1..9: S;
4var 0..9: E;
5var 0..9: N;
6var 0..9: D;
7var 1..9: M;
8var 0..9: O;
9var 0..9: R;
10var 0..9: Y;
11
12constraint 1000 * S + 100 * E + 10 * N + D
13 + 1000 * M + 100 * O + 10 * R + E
14 = 10000 * M + 1000 * O + 100 * N + 10 * E + Y;
15
16constraint alldifferent([S,E,N,D,M,O,R,Y]);
17
18solve satisfy;
19
20output [" \(S)\(E)\(N)\(D)\n",
21 "+ \(M)\(O)\(R)\(E)\n",
22 "= \(M)\(O)\(N)\(E)\(Y)\n"];