[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.
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20110829/5debe7d2/attachment.htm>