Re: how do I build

By default the FD solver is installed.

If you have a source distribution (.tar.gz) you can look at the examples 
in the directory called examples/ExamplesFD.

Anyway, here is the code of send+more

send(LD):-
	LD=[S,E,N,D,M,O,R,Y],
	fd_all_different(LD),
	fd_domain(LD,0,9),
	fd_domain([S,M],1,9),

	   1000*S+100*E+10*N+D + 1000*M+100*O+10*R+E
	#= 10000*M+1000*O+100*N+10*E+Y,

	fd_labelingff(LD).


> I am using 1.2.19 on Gnu/Linux.
> 
> THe documentation says:
> 
> 
> "The finite domain (FD) constraint solver extends Prolog with constraints
> over FD. This facility is available if the FD part of GNU Prolog has been
> installed."
> 
> However, I can not determine if my build has FD part of GNU Prolog installed.
>  The README that comes with the distribution does not say what flag I should
> use (such as in --enable=FD ??). Can someone pl. point me to documentation
> that may make this more clear?
> 
> Also, I am trying to find the classical
> 
> SEND + MORE = MONEY expressed in gnu prolog so that I can try it out.
> 
>