[gecode-users] Meaning of Options::size
Roberto Pinto
roberto.pinto at unibg.it
Thu Dec 7 16:51:27 CET 2006
Dear all,
I can't get the meaning of the Options::size.
Can someone explain it to me?
Thank you
Roberto
More information about the gecode-users
mailing list