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

Reply via email to