[gecode-users] LDS search

[Christian Schulte]

Dear Stefano,

thanks so much! That was a shameful bug, my brain must have been off when I did that. I cannot even reconstruct what this nonsense should do. The fix is good and will be in the next release.

Christian

PS: That means we should also test search more thoroughly not only propagation.

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of stefano.gualandi at fastwebnet.it
Sent: Friday, January 18, 2008 5:12 PM
To: users at gecode.org
Subject: [gecode-users] LDS search

Hi,
I think there is a small bug in the LDS search engine (not sure I am using it properly).

I attach a script raising the bug and a "temptative" of a patch for the file lds.cc, but I am not sure is correct...

Stefano

PS I am using gecode-2.0.0 release