Choco contribution

If you want to contribute to the Choco development you can help our team:

• by providing some patches for bugs you find in Choco; in this case contact us on the mailing list choco-users;
• by providing some constraints we will put in the repository below; in this case send a jar file and a brief description to Guillaume Rochart

Here you can find some contribution from Choco users: each jar file contains some constraints you can test and use even if they were not tested by the Choco team.

Bound All Different (Guillaume Rochart)

This constraints is a bound version of the allDifferent constraint which is particularly useful when you only want to deal with bound variables. This is a Choco port of the constraint proposed in the article of A. Lopez-Ortiz, C.-G. Quimper, J. Tromp, and P. van Beek.

Here you can find the bad.jar file.