Hello, Is there anything in Gecode library that is equivalent to Schedule.serialized of Mozart/Oz (i.e., choose resources across the tasks so that same resources are not chosen at the same time in two different tasks)? If not, can some one provide with a couple of pointers as to how to implement it?
Thanks, Ashis
_______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
