Thanks for the quick answers. My problem was with the copy constructor. My example is now working. Thanks, Jorge
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users