Patrik Haslum wote:
> Q1: Propagation for the weights constraint. I've posted the
> constraint:
[...]
> So, it seems that the upper bound on the cardinality of deleted has
> been
> propagated to total_cost (it is at most the sum of the 3 largest
> costs),
> but the lower bound has not (total_
Hi,
I'm experimenting with different formulations of a problem, using finite
set variables, and have come across two questions.
Q1: Propagation for the weights constraint. I've posted the constraint:
weights(this, elems, costs, deleted, total_cost);
where "deleted" is an otherwise unconstra
