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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
