Oh wait, I was looking at the examples.Options javadoc. I see there is one for org.gecode.Options also. My apologies. Malcolm On 27/03/2008, at 2:07 PM, Malcolm Ryan wrote: > Could you please explain what the various fields of the Options > class do in Gecode/J? > > Malcolm