Content deleted Content added
m abc |
→Example: I believe they Y instead of E was a typo Tags: Reverted Mobile edit Mobile web edit |
||
Line 124:
:- use_module(library(clpfd)).
sendmore(Digits) :-
Digits = [S,E,N,D,M,O,R,
Digits ins 0..9, % Associate domains to variables
S #\= 0, % Constraint: S must be different from 0
| |||