Ok for the next release. There's any plan to implement that in the long run ??? Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.gecode.org/pipermail/users/attachments/20120511/f03ad97b/attachment.html>