Constraint programming: Difference between revisions

Content deleted Content added
Example: I believe they Y instead of E was a typo
Tags: Reverted Mobile edit Mobile web edit
Example: It was not a typo, the Y is correct It is every Unique letter in send more money
Tags: Manual revert Mobile edit Mobile web edit
Line 124:
:- use_module(library(clpfd)).
sendmore(Digits) :-
Digits = [S,E,N,D,M,O,R,EY], % Create variables
Digits ins 0..9, % Associate domains to variables
S #\= 0, % Constraint: S must be different from 0