Guido Tack <tack@...> writes: > > Did you use the version of unary with optional tasks? Otherwise, the same start time up in different > unary constends raints, which is quite likely to be unsatisfiable. > > Guido >
I've tried to use the unary version with optional tasks, but I don't quite understand how it would help why should I set a certain task to be optional if I have reification ? _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
