Une idée comme ça, ils développent un solver de contraintes [1], truc qui peut être éminemment utile dans la gestion des dépendances logicielles ... cf. ce journal pour un peu plus de détails : http://linuxfr.org/~fmorel/27137.html
Je crois qu'il y a un solver SAT (probleme_SAT) aussi dans la gestion des plugins eclipse, par exemple.
Ils ont donc de l'expertise dans le domaine, et puis ça met leur nom sur un projet Européen, et ça doit pas être le seul.
[^] # Re: Trouvez l'intrus
Posté par thoasm . En réponse à la dépêche Mancoosi : un projet européen dédié aux mises à jour de logiciels libres. Évalué à 5.
Je crois qu'il y a un solver SAT (probleme_SAT) aussi dans la gestion des plugins eclipse, par exemple.
Ils ont donc de l'expertise dans le domaine, et puis ça met leur nom sur un projet Européen, et ça doit pas être le seul.
[1] http://www.ilog.com/products/cp/