Home » Liste des logiciels par équipes


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). CHOCO a été téléchargé en moyenne 400 fois par mois ces 6 derniers mois.

Copyright : LS2N 2017 - Mentions Légales - 
 -