Feature: "alldifferent" constrant

[kakukkokkal]

Is it possible to add support for the "alldifferent" constraint where the solver supports it?

[lovasoa]

Yes, that would be nice. Which solver do you have in mind? A pull request would be welcome!

[lmmx]

Coin CBC supports this, as does Pumpkin (#95)