Dear all, I am wondering how the variables are subscribed during copying of propagators? Could you tell me the exact code that does such things in Gecode? Is it defined in the _clone() of Space? And how does it work?
Many thanks! Regards, Zoe
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
