From: "Wojciech Legierski"
> You can make it through reified constraints:
> 1. Create a space with your problem and all constraints make reified.
> 2. Enumarate only 0/1 variables, you can find out, which constraint make
> it failed
> 3. If space not fail make search without reified constraints
>
> One problem. For job-shop you need only one constraint
> Schedule.serilized. So for checking consistency you have to use
> FD.disjoint. I would make also some check of consistency for 1 resource
> and for 1 job (using Schedule.serilized).
>
Thanks Wojciech: I'll surely try and inform you.
Adriano
-
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/.