Auteur Daniel Le Berre, Professeur en informatique, CRIL CNRS UMR 8188, Université d'Artois
Déclaration d’intérêts : Daniel Le Berre ne travaille pas, ne conseille pas, ne possède pas de parts, ne reçoit pas de fonds d'une organisation qui pourrait tirer profit de cet article, et n'a déclaré aucune autre affiliation que son poste universitaire.

Le numérique est devenu un outil indispensable de la science et l’accès aux programmes informatiques est un enjeu important. Pour la reproductibilité de la recherche https://theconversation.com/reproduire-un-resultat-scientifique-plus-facile-a-dire-qua-faire-129848 bien sûr, mais plus encore pour diffuser des informations, des « détails », que l’on trouve rarement dans les articles scientifiques eux-mêmes https://paperswithcode.com/.
...
En 2007, la plate-forme ouverte Eclipse cherchait une solution pour résoudre le problème de dépendances de ses greffons (ou plugin, en anglais). Eclipse est une plate-forme qui fournit et produit des outils pour réaliser des logiciels – elle est souvent utilisée comme base pour des outils développés par de grandes sociétés, comme IBM, Oracle ou SAP. Chaque module dépend d’autres modules, ou est incompatible avec d’autres. Quand on installe un « greffon », c’est-à-dire un ou plusieurs modules complémentaire, il faut veiller à respecter les dépendances et incompatibilités entre modules.
...
résoudre le problème SAT. Si les outils ad hoc développés initialement fonctionnaient correctement quand le nombre de greffons était réduit, le succès de la plate-forme a nécessité une refonte complète de la gestion des dépendances. La bibliothèque Sat4j a été sélectionnée car elle répondait au besoin fonctionnel d’Eclipse, était maintenue et parce que la licence a pu être adaptée pour les besoins d’Eclipse.

En juin 2008, Eclipse 3.4 sortait avec un nouveau système de gestion de ses greffons basé sur Sat4j.
...
Sat4j a dès le départ été développé à l’aide du logiciel libre Eclipse : un juste retour des choses, qui souligne le potentiel de co-construction des logiciels libres.