Si vous êtes intéressés par la programmtion par contraintes, il y a un solveur libre (GPL) développé par Bouygues E-Lab, qui s'appelle Choco. Il se base sur Claire, un langage de haut niveau un peu ésotérique, mais il offre plein de fonctionnalités rigolotes, et il paraît que maintenant, chez Bouygues, ils font toute leut planif' avec ça -- et des bibliothèques proprios qu'ils ont développé en interne ;-)
[^] # Programmation par contraintes
Posté par Polaris . En réponse au journal Deplacement du cheval. Évalué à 1.
http://www.choco-constraints.net/downloads.html(...)