Maintenance - Mise à jour Mardi 7 Mai entre 7h00 et 9h00 Passage de Gitlab 16.9 à 16.10
Version matching the release of our IJCAI'23 paper "Scalable Coupling of Deep Learning with Logical Reasoning" (https://arxiv.org/abs/2305.07617).