Propagators for global distinctness constraints. More...
Propagators for global distinctness constraints.