Equipe / Team : TASC
Participants : C. Prud’homme (correspondant), X. Lorca, J.-G. Fages, T. Petit, N. Jussien, S. Demassey
Licence : BSD
Mots clés : Programmation par contraintes, contraintes discrètes, Java
Résumé : CHOCO est une bibliothèque de programmation par contraintes en Java contenant un nombre important de contraintes dans sa version 3 (le projet a débuté en 2001), une documentation détaillée fournie, un moteur ouvert avec des fonctionnalité uniques (intégration des explications et du pilotage de la propagation).
