Hi Stefano, This has been requested earlier (but not in the mailing list) and is already in the trunk.
Best Christian PS: Sorry for not properly replying, but two of my three email serves are running amok. _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
