Bibliothèque de résolution de contraintes de chaîne de caratères ?

Bonjour,

J'ai trouvé beaucoup d'API qui résolvent les CSP (Constraint Satisfaction Problems) comme CHOCO, JACOP, JLC. Cependant, toutes ces bibliothèques sont pour résoudre contraintes de nombres entiers et ne supportent pas la résolution de contraintes de chaînes de caractères.
Pour cette dernière j'ai cherché et j'ai trouvé HAMPI et MiniZinc. J'ai cherché leur bibliothèques JAR mais je ne les trouve pas. J'ai juste trouvé pour un autre Eclipse Http://eclipseclp.org/doc/bips/lib_public/minizinc/

Dans mon projet Java (sous Eclipse) j'importe tout d'abord des fichiers XML à l'aide d'une interface créée avec Swing. Puis avec un parsing j'extraie les variables, les domaines et les contraintes. Sachant que, les domaines sont un ensemble de chaines de caractères.
Donc, j'aimerais parvenir à résoudre ce problème de satisfaction des contraintes.

Quelqu'un saurait-il m'indiquer où trouver un solveur CSP (jar) pour des contraintes de chaîne ?

Merci beaucoup pour votre aide.