What are the precise meaning of the Clones, Commits and Propagates values given by a gecode.Statistics object?
Malcolm _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
