have found an old message (2006)
Actually, the mail is of 2009, the citation is of 2006. However, the question is still valid.
Thanks, Tommaso _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
