Feature: "alldifferent" constrant
Opened this issue · 1 comments
kakukkokkal commented
Is it possible to add support for the "alldifferent" constraint where the solver supports it?
lovasoa commented
Yes, that would be nice. Which solver do you have in mind? A pull request would be welcome!