a obtenu pas moins de 10 médailles dans les différentes catégories des compétitions internationales
MiniZinc Challenge et
XCSP3 Competition. Ces compétitions challengent chaque année l'ensemble des solveurs du marché sur une sélection de problèmes d'optimisation sous contraintes. Choco Solver ressort grand gagnant de la catégorie "ouverte" qui autorise le calcul parallèle et les heuristiques de recherches automatiques. Il se place en 2ème position de la catégorie "Portfolio", le premier utilisant Choco Solver en interne. Ces résultats confirment la qualité de Choco Solver, tant en terme de performance que de robustesse. COSLING est fier d'être le premier contributeur à Choco Solver après l'Institut Mines-Telecom, le partenaire académique historique de COSLING.