Content deleted Content added
HarsilSPatel (talk | contribs) update the license for the MiniZinc language to the one mentioned on the official website |
The example source code was missing a letter. |
||
Line 124:
:- use_module(library(clpfd)).
sendmore(Digits) :-
Digits = [S,E,N,D,M,O,R,N,Y],
Digits ins 0..9, % Associate domains to variables
S #\= 0, % Constraint: S must be different from 0
| |||