Bonsoir,

J'aimerais savoir s'il existe un framework en C++ pour faire de la programmation par contraintes (comme Choco en java)... où alors s'il est possible d'interfacer du prolog avec une appli codée en C/C++.
J'ai entendu parlé d'ilog solver mais c'est apparemment du commercial. Sinon, tanpis je me tournerais vers java ;o(

Merci.