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

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 ]