Yes, you are right! Fixed in the trunk.
Thanks Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [email protected] [mailto:[email protected]] On Behalf Of ?? Sent: Monday, August 29, 2011 11:41 AM To: [email protected] Subject: [gecode-users] initial domain of Golomb ruler problem Dear all, The initial domain of the Golomn ruler problem is set to be [(1 << (opt.size()+1))-1], while I think it should be [(1 << (opt.size()-1))-1]. Can someone help make sure? Thanks! Weii.
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
