Choco-Solver : un solveur Open-Source de Programmation Par Contraintes en Java
Charles Prud'homme  1@  , Jean-Guillaume Fages  2@  
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.


Personnes connectées : 2 Vie privée
Chargement...