/usr/share/doc/prover9-doc/examples/send-money.in is in prover9-doc 0.0.200902a-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | set(arithmetic).
assign(domain_size, 10). % domain is {0,1,2,3,4,5,6,7,8,9}.
% S E N D
% + M O R E
% ---------
% M O N E Y
list(distinct).
[S,E,N,D,M,O,R,Y].
end_of_list.
formulas(assumptions).
D + E = Y + C1 * 10.
N + R + C1 = E + C2 * 10.
E + O + C2 = N + C3 * 10.
S + M + C3 = O + M * 10.
% Leading zeros are not allowed.
S != 0.
M != 0.
end_of_list.
|