Re: [eclipse-clp-users] Large integers and delayed goals

On 14/03/2012 18:23, Kish Shen wrote:

>  [lib(gfd) does give a
> default interval (currently -1,000,000..1,000,000) to variables whose
> domain are not explicitly specified]

I should have also stated that this is a property of lib(gfd), rather 
than Gecode, as Gecode requires a domain to be explicitly given to 
variables before they can be used. For compatibility with the other 
finite domain solvers in ECLiPSe, lib(gfd) gives variables a default 
domain if no domain is given for the variable.

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.