Re: [eclipse-clp-users] Delayed goals at end of search

From: Wit Jakuczun <wit.jakuczun_at_gmail.com>
Date: Fri, 23 Apr 2010 20:44:53 +0200
W dniu 2010-04-23 20:36, Afonso Henrique Sampaio pisze:
> Hi,
> if I set up a search method with random variable selection(ie. 
> computing the Value criterion for each variable as random(Value)) and 
> indomain_random value selection, is it possible that at the end of the 
> search I still have delayed goals?
> I've got a model that with labeling, or with other search methods as 
> first_fail,.., the search finishes with a complete solution, but with 
> that randomized approach I got some delayed goals at end, but I 
> couldn't realize clearly this behaviour.
Hi,
   this is possible. I had such effect and the cause lied in a bug in 
global constraint or in a labeling predicate (my own).

Best regards

-- 
[ Wit Jakuczun http://pl.linkedin.com/in/jakuczunwit ]
Received on Fri Apr 23 2010 - 18:45:06 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET