Cette année encore, Choco-Solver a participé aux compétitions internationales de solveurs de contraintes organisées durant la conférence annuelle de Programmation Par Contraintes,
CP'2023. Le solveur open-source a une nouvelle fois pu se distinguer en remportant différents prix :
- Quatre prix pour la compétition XCSP-2023, catégories : 🥇 FastCop 🥇 ParrallelCop 🥈 MainCop 🥉 MainCSP
- Deux prix pour la compétition MiniZinc 2023, catégories : 🥉 Fixed 🥉 Parallel.
Ces différentes récompenses attestent de la qualité du solveur, à la pointe de la technologie sur le plan international. Cosling est fière de pouvoir y contribuer et le mettre en oeuvre dans des applications industrielles d'aide à la décision.