[HS] Extraire les contraintes sous forme d' un système d'équations

[Bourdeaud'huy]

Bonjour, 

Je me demandais s'il existait à votre connaissance - implanté dans
prolog ou non - un outil permettant de visualiser (ou sauvegarder) les
contraintes correspondant à l'exécution d'un prédicat. L'idée serait de
les récupérer pour les passer à un autre solveur de contraintes voire
pour les traduire en programme linéaire de façon à pouvoir utiliser
encore d'autres solveurs type CPlex... 

Très cordialement, 

T. Bourdeaud'huy

PS : Excusez les envois répétés éventuels, des problèmes de messagerie
me conduisent à ré-envoyer ce mail...