On 31/03/2008, at 8:15 PM, Christian Schulte wrote: > What contributes to memory consumption are: > ... Is there any way to simply ask Gecode how large a space is? Malcolm