% Examples
%%%%%%%%%%

% SEND+MORE=MONEY
sendmore(L):-
	L=[S,E,N,D,M,O,R,Y],
	gui_varnames(L,['S','E','N','D','M','O','R','Y']),
        fd_domain(L,0,9),
	gui_show_values,
        gui_button(fd_domain([S,M],1,9)),
        gui_button(1000*S+100*E+10*N+D + 1000*M+100*O+10*R+E #= 10000*M+1000*O+100*N+10*E+Y),
%        gui_button('#=#'(1000*S+100*E+10*N+D + 1000*M+100*O+10*R+E, 10000*M+1000*O+100*N+10*E+Y)),
        gui_button(fd_all_different(L)),
        gui_button(gui_trace_labeling(L)),
        reverse(L,L2),
        gui_button(gui_trace_labeling(L2)).