Discussion :

[yasmin ben]

Bonjour !
j'ai beau chercher et j'ai trouver les solver CHOCO et RealPaven , mais je comprends paaaaas ! quels es le langage (jaimerai travailler en c++) comment faire (histoire de bibliotheques, installer quoi?? ...)
I Really Need Help

[dourouc05]

Il te faut installer un solveur (comme Choco, CPLEX CP, OSCAR et j'en passe), puis une bibliothèque d'accès au solveur dans ton langage de prédilection, finalement écrire ton modèle en utilisant cette bibliothèque. Apparemment, il n'existe rien pour appeler Choco en C++ (seulement du Java), comme pour pas mal de solveurs à la pointe de la technologie, de ce que j'ai pu voir. Par contre, CPLEX CP est accessible en C++.

Pour trouver quelques solveurs : http://www.constraintsolving.com/sol...aint-libraries

[nono_31]

Une autre liste de solveurs : http://openjvm.jvmhost.net/CPSolvers/

[yasmin ben]

merci , jai une autre question !
est çe que je dois specifier une methode pour construire çe systeme ?
j'ai touver les methaheuristique et plein dautre chose que je nai jamais entendu et qui me parrait trop complexe !
pourquoi ne pas tous simplement programmer d'une façon normale avec le simple langage de c++ ???

[yasmin ben]

bonjour , je suis coincée et perturbée
je dois choisir une methode pour resoudre un csp pour un probeleme daffectation(emploi du temps)
mais je ne sais pas quesqu'une methode jai trouvée ça
et aussi ça :
methode exacte : programmation dynamique , a*, branch and bound ....
methode heuristiques : algorithmes genetiques , recherche tabou ...

j'ai rien compris surtout que je ne connais rien dans ces algorithmes ;;;eeeuuuuh

[dourouc05]

Les métaheuristiques peuvent remplacer les algorithmes de recherche utilisés en programmation par contraintes, mais c'est assez secondaire…
Par rapport à coder toi-même un algorithme, tu ne fais que décrire ton problème, tu ignores complètement la partie résolution du problème. Si tu as oublié un petit détail dans ton problème, tu pourrais devoir réécrire tout ton algorithme, alors que tu ajouteras trois fois rien dans ton programme par contraintes : le solveur CP se charge de tout.

[Trap D]

Une autre liste de solveurs : http://openjvm.jvmhost.net/CPSolvers/

Il manque dedans clpfd utilisable en SWI-Prolog, et donc aussi en C/C++ puisqu'il existe un interface entre SWI-Prolog et C/C++.

[nono_31]

Il manque dedans clpfd utilisable en SWI-Prolog, et donc aussi en C/C++ puisqu'il existe un interface entre SWI-Prolog et C/C++.

Dans ce cas, vous pouvez peut-être l'ajouter ou contacter les devs pour qu'ils s'en chargent.

[yasmin ben]

Les métaheuristiques peuvent remplacer les algorithmes de recherche utilisés en programmation par contraintes, mais c'est assez secondaire…
Par rapport à coder toi-même un algorithme, tu ne fais que décrire ton problème, tu ignores complètement la partie résolution du problème. Si tu as oublié un petit détail dans ton problème, tu pourrais devoir réécrire tout ton algorithme, alors que tu ajouteras trois fois rien dans ton programme par contraintes : le solveur CP se charge de tout.

coucou consernant les methodes de resolution d'un csp vous me conseiller quoi ( les mtd exactes ou les metaheuristiques ) pour le probleme demploi du temps

[dourouc05]

Tu devrais pouvoir t'en sortir avec des méthodes exactes et traditionnelles ; a priori, pas besoin de métaheuristiques.

[yasmin ben]

merci a vous