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: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of [EMAIL PROTECTED] Sent: Friday, January 18, 2008 5:12 PM To: [EMAIL PROTECTED] 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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
