c'est quoi la difference entre un solveur et une bibliothèque ( le solveur de contraintes Gecode et la bibliotheque de contraintes Cacao) ??