La semaine dernière, je suis tombé sur Numberjack, package Python de modélisation pour programmer par contraintes. La programmation par contraintes consiste à décrire un modèle constitué de :
- variables, dont le domaine de définition peut varier;
- contraintes, qui régissent ces variables (les contraintes peuvent impliquer une ou plusieurs variables).


