Logiciels

Le laboratoire essaye dans la mesure du possible de rendre disponibles les logiciels qu’il produit sous la forme de logiciels libres. Ces logiciels sont identifiés par un badge qui mentionne leur licence libre.

L’usage d’une licence libre a pour but de faciliter la diffusion des résultats de nos recherches dans le monde académique et plus généralement dans notre société numérique. C’est aussi un moyen pour le laboratoire de partager l’effort de maintenance des outils et bibliothèques qu’il conçoit pour ses besoins internes. Ces logiciel sont souvent disponibles « en développement ouvert », sur le compte github du laboratoire ou une autre plateforme de développement collaboratif.

Mi

Il s'agit d'un outil qui utilise l'exploration d'items pour compresser les formules booléennes CNF en utilisant l'encodage de tseitin.

Sa

SATMiner est une bibliothèque pour la recherche de motifs intéressants à l'aide de la programmation par contraintes/SAT.

Sy

Implémente un cadre pour briser les symétries dans les problèmes de fouille d'itemset.

To

Il s'agit d'un algorithme pour énumérer les modèles Top-k d'une formule propositionnelle CNF.