I assume that there can be a huge speed up if the constraints are ordered before pruning starts.
The ordering should depend on the function (all_different is slower than sum but might prune more). Fewer unfixed values are normally preferred (i.e smaller graph in all_different)
Wikunia
commented
4 years ago
I assume that there can be a huge speed up if the constraints are ordered before pruning starts. The ordering should depend on the function (
all_differentis slower thansumbut might prune more). Fewer unfixed values are normally preferred (i.e smaller graph inall_different)