https://www.facebook.com/FrontlineTechWorkersConcernGroup/posts/1123488327690899

gistfile1.txt

Compiling homework.mzn
Running homework.mzn
A = 3;
B = 4;
C = 0;
D = 9;
E = 2;
F = 5;
G = 8;
H = 6;
P = 1;
----------
A = 3;
B = 6;
C = 0;
D = 9;
E = 2;
F = 7;
G = 8;
H = 4;
P = 1;
----------
A = 9;
B = 0;
C = 6;
D = 3;
E = 2;
F = 7;
G = 8;
H = 4;
P = 1;
----------
A = 8;
B = 6;
C = 5;
D = 4;
E = 3;
F = 2;
G = 7;
H = 9;
P = 1;
----------
A = 4;
B = 5;
C = 0;
D = 6;
E = 3;
F = 9;
G = 7;
H = 2;
P = 1;
----------
A = 8;
B = 5;
C = 4;
D = 6;
E = 3;
F = 9;
G = 7;
H = 2;
P = 1;
----------
A = 5;
B = 2;
C = 0;
D = 9;
E = 4;
F = 3;
G = 6;
H = 8;
P = 1;
----------
A = 5;
B = 7;
C = 0;
D = 9;
E = 4;
F = 8;
G = 6;
H = 3;
P = 1;
----------
A = 5;
B = 7;
C = 0;
D = 8;
E = 4;
F = 9;
G = 6;
H = 2;
P = 1;
----------
A = 7;
B = 2;
C = 0;
D = 9;
E = 6;
F = 3;
G = 4;
H = 8;
P = 1;
----------
A = 8;
B = 4;
C = 0;
D = 9;
E = 7;
F = 5;
G = 3;
H = 6;
P = 1;
----------
A = 8;
B = 4;
C = 0;
D = 5;
E = 7;
F = 9;
G = 3;
H = 2;
P = 1;
----------
A = 8;
B = 5;
C = 0;
D = 6;
E = 7;
F = 9;
G = 3;
H = 2;
P = 1;
----------
A = 9;
B = 3;
C = 0;
D = 7;
E = 8;
F = 6;
G = 2;
H = 5;
P = 1;
----------
A = 9;
B = 3;
C = 0;
D = 6;
E = 8;
F = 7;
G = 2;
H = 4;
P = 1;
----------
A = 9;
B = 0;
C = 2;
D = 7;
E = 6;
F = 3;
G = 4;
H = 8;
P = 1;
----------
A = 9;
B = 5;
C = 2;
D = 7;
E = 6;
F = 8;
G = 4;
H = 3;
P = 1;
----------
==========
Finished in 72msec

homework.mzn

% Question:
% https://www.facebook.com/FrontlineTechWorkersConcernGroup/posts/1123488327690899

var 0..9: A;
var 0..9: B;
var 0..9: C;
var 0..9: D;
var 0..9: E;
var 0..9: F;
var 0..9: G;
var 0..9: H;
var 0..9: P;

include "alldifferent.mzn";
constraint alldifferent([A, B, C, D, E, F, G, H, P]);
constraint (A * 10 + B) - (C * 10 + D) = (E * 10 + F);
constraint (E * 10 + F) + (G * 10 + H) = (P * 100 + P * 10 + P);

solve satisfy;