Le logiciel libre de recherche est au même titre que les publications ouvertes ou les données ouvertes un pilier de la science ouverte. C’est notamment un vecteur important de diffusion des savoirs académiques dans la société car il s’agit de « connaissances exécutables ». Des problèmes spécifiques se posent cependant pour le logiciel : quand et comment le diffuser ? quelle licence choisir ? faut-il accepter des contributions externes ? dans l’affirmative, comment gérer ces contributions ? Cette présentation essayera d’apporter des éléments de réponse à chacune de ces questions, et présentera le cas du logiciel libre de recherche Sat4j.