[gecode-users] Schedule serialized

Christian Schulte cschulte at kth.se
Tue Sep 22 15:53:07 CEST 2009


Hi,

 

You can use cumulatives. In the near future, Gecode will come with
constraints for disjunctive and cumulative scheduling (actually, for
disjunctive scheduling the next release will already contain propagators but
not yet good branchings, even though in experimental quality only).

 

Christian

 

--

Christian Schulte, www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Maity, Ashis K
Sent: Tuesday, September 22, 2009 3:22 PM
To: 'gecode-users at gecode.org'
Subject: [gecode-users] Schedule serialized

 

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090922/3bdc4845/attachment.htm>


More information about the gecode-users mailing list