Implement non-naïve distinct propagator
ptal opened this issue · comments
The current distinct propagator is just a naïve implementation with n! propagators such that for all x,y in vars, x!=y.
A research question of this project is now to try to have good performance without global propagation. So until we show it is not possible, this issue is closed.