« Décrire et résoudre des problèmes de décision » Choco est une bibliothèque logicielle destinée à modéliser et résoudre des problèmes fortement combinatoires grâce à des techniques de programmation par contraintes. L’utilisateur décrit un problème de manière déclarative en établissant la liste des contraintes qui doivent être satisfaites dans chaque solution.
Une plateforme IMT Atlantique – Label Institut Carnot TSN
Contact : Charles Prud’homme charles.Prud’homme@imt-atlantique.fr