[gecode-users] Scheduling

[Guido Tack]

Did you use the version of unary with optional tasks?  Otherwise, the same start time ends up in different unary constraints, which is quite likely to be unsatisfiable.

Guido

On 30 May 2011, at 12:07, Alin wrote:

> Christian Schulte <cschulte at ...> writes:
> 
>> 
>> Please use unary, that's what it is meant for.
>> 
>> Christian
>> 
> 
> I have used unary, but I still have some problems
> 
> since I have more than one resource the 
> starting time must depend on the resource.
> 
> so I set the starting time to depend 
> on the resource asigned for the task
> using the reified version of dom
> like this:
> 
> for tasks and for resources that can do the task:
>  BoolVar condition=expr(resource[i] == possible_resource_for_task_i);
>  dom(home, start_time[i], set_possible_values, condition);
> 
> where i is the task.
> 
> The problem is that this always fails...
> it tries to assign each resource possible
> to the first task
> and sets the starting times for that tasks
> 
> but considers that this has failed without tring any 
> values for the next resources.
> 
> Any idea why this happens ?
> is there a better way to restrict the starting times
> to depend on the resources or this is the correct 
> way to do it and I probably  have a bug ?
> 
> thanks!
> 
> 
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

-- 
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/