Donc dans le labo ou je suis maintenant (Mines d'Albi), ils utilisent la propagation de contrainte pour faire de la configuration interactive de produit. On est dans une phase de recherche et d'études des outils existants. Globalement, Ilog (proprio), Eclipse-csp (prog logique) et Choco (Java). Ils ont aussi leur version en Perl mais apparemment limitée.

Maintenant que je vois un peu mieux ce qu'est un CSP, j'ai (re)jeté un oeil sur backtalk.

Noury, peux tu me donner quelques infos ? J'ai actuellement deux versions dans mon image, l'ancienne (BT-ggf.30) et la nouvelle (BTNG-noury.2).

Est ce que les plans sont de "porter" au fur et a mesure les éléments de l'ancienne implémentation sur la nouvelle ? As tu fait des choix de conception différent ?

Me concernant, ce n'est pas vraiment l'aspect résolution qui compte mais la propagation (AC) et l'ajout dynamique de contraintes et éventuellement le retrait (plus dur - je pense que les continuations pourraient aider ici...). J'ai vu quelques éléments qui semble correspondre mais bon.. Je suis aussi intéressé par la partie scheduling.

Tout ca pour dire que je suis intéressé pour contribuer à BackTalk... ;) Bien plus agréable de browser des classes senders et autres que de lutter avec Eclipse ;) (Choco à l'air assez complet ceci dit... http://www.emn.fr/x-info/choco-solver/doku.php?id=)

On 17 mai 08, at 21:44, stephane ducasse wrote:

noury m'a dit qu'il ne s'agit pas de la derniere version de backtalk
(il n'est pas arrive a mettre la meme dessus)
Et celle la semble un peu buggee.

Oui, effectivement. Du coup, j'ai commencé à envisager une nouvelle implantation que j'ai baptisé BackTalkNG.
Elle n'en est qu'au début. Globalement, je n'ai fait que les contraintes binaire. Je viens de la mettre sur le squeaksource. Le fichier étant petit, je le joins à ce mail.

Have fun,
Noury

stef

On May 17, 2008, at 3:27 PM, Stéphane Rollandin wrote:

Salut à tous,

Je m'intéresse un peu à la programmation par contraintes en ce moment,
et j'ai téléchargé la dernière version de BackTalk sur SqueakSource.
Elle date de février 2007. Quel est son statut ? Est-ce un système
directement utilisable ? Est-il toujours en développement ?

merci,

Stef

_______________________________________________
Squeak-fr mailing list
Squeak-fr@lists.squeakfoundation.org
http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-fr

_______________________________________________
Squeak-fr mailing list
Squeak-fr@lists.squeakfoundation.org
http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-fr

Noury Bouraqadi
------------------------------------------------------------------
Dr. Noury Bouraqadi - Enseignant/Chercheur
Responsable de l'enseignement de l'informatique
ARMINES - Ecole des Mines de Douai - Dept. I.A.
http://vst.ensm-douai.fr/noury

European Smalltalk Users Group Board
http://www.esug.org
------------------------------------------------------------------

_______________________________________________
Squeak-fr mailing list
Squeak-fr@lists.squeakfoundation.org
http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-fr

--
Cédrick