Archive de "juillet, 2008"
13
juillet
2008
Choco Solver
juillet
2008
Choco est une librairie écrite en java permettant de faire ce que l’on appelle de la programmation par contraintes. Grossièrement, cela signifie que cette librairie permet de trouver pour chaque variable d’un problème, un ensemble de valeur satisfaisant des règles(contraintes) imposées. C’est le cas par exemple du problème du sudoku. Dans un tel contexte, les règles seront : Tous les nombres d’une ligne sont différents Tous les nombres d’une colonne sont différents Tous les nombres […]