c'est marrant j'en avais aussi fait un solveur de contraintes (numériques), pour palm a la base mais j'ai aussi une version pc relativement optimisée; je pourrais aussi poster le code si le coeur vous en dit (en c++)
je deterre le sujet juste pour signaler que Microsoft a sorti son propre framework de résolution de ce genre de probleme et bien plus encore, le tout utilisant un bon paquet d'optimisations de l'arbre de recherche.
ça s'appelle microsoft solver foundation et c'est disponible sous forme d'un plugin excel et/ou visual studio, c'est super bien foutu et l'écriture d'un programme ne prend que quelques lignes.