 |
Choco-Solver : un solveur Open-Source de Programmation Par Contraintes en Java
1 : Théorie, Algorithmes et Systèmes en Contraintes
Laboratoire des Sciences du Numérique de Nantes
2 : COSLING
COSLING
Choco-Solver est une librairie open-source de Programmation Par Contraintes, initiée au début des années 2000. Depuis, la librairie a fortement évolué pour gagner en performances, flexibilité et fiabilité. Aujourd'hui, Choco-Solver est utilisé quotidiennement dans le monde Académique et dans l'Industrie, pour résoudre des problématiques complexes d'aide à la déci- sion, notamment en planification et en configuration.
