Bonjour,
J'ai commencé à utiliser un solveur de contraintes libre, GLPK dans mon appli grâce à l'API disponible en C.
J'arrive à résoudre des problèmes d'optimisation, j'ai bien compris le principe des contraintes, des fonctions objectifs etc.
Ce que je me demande c'est comment générer des solution à partir d'une grammaire donnée.

Prenons un exemple simple, je veux pouvoir générer des numéros de téléphones à partir d'une grammaire. Est-ce possible avec un solveur de contraintes ? Parce-que si c'est possible que devient la fonction objectif à ce moment là ?

Note : j'ai utilisé GLPK mais je peux aussi utiliser Minion ou Gecode au besoin.

Merci !