Re: [eclipse-clp-users] Guess Free Solution

Alex Rozenshteyn wrote:
> Is there a way to tell eclipse to "never guess", i.e. only fill a constraint
> if there is a "logical" reason to?
> 
> 
Hi Alex,

This is a rather basic question about constraint programming, and in 
fact a similar question was asked just a few days ago -- see

http://sourceforge.net/mailarchive/forum.php?thread_name=4B698B0D.8040006%40cisco.com&forum_name=eclipse-clp-users

for the discussion.

Essentially (for finite domain and other propagation-based solver), you 
need to ECLiPSe to guess (i.e. do search), rather than the other way round.

Cheers,

Kish
-- 
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.