Dear Oz users,
I am modelling the different calendars of availability for machines in a
jobshop problem with the FD.element propagator:
...
{FD.element AbsoluteStart CalendarDomList RelativeStart}
...
where
AbsoluteStart is the absolute time start of a task
CalendarDomList is the domain for the resource in units of
availability
es: [8 9 10 11 12 15 16 17 18...]
RelativeStart is the relative time start of a task
so that the tasks are serialized on the resources on a countinuous line of
time(whithout holes) and jobs (list of tasks with precedences) are
constrained toghether by the absolute timing.
All is working fine but with an increasing number of tasks the time for the
solution is growing too fast.
Is there a faster implementation for FD.element or alternative modelling for
the problem ?
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.