[gecode-users] Gecode/J: Options docs?

[Malcolm Ryan]

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