Bibliothèque Python open-source développée au CRIL pour faciliter la conduite d'expériences et leur analyse dans le domaine de la résolution de problèmes SAT. Elle offre un outil complet pour la gestion des expériences, de la collecte des données à l'affichage des résultats, favorisant ainsi la reproductibilité des résultats expérimentaux.

Ce projet contient divers cas d'utilisation de la bibliothèque Metrics, distribués à des fins démonstratives. Metrics est une bibliothèque Python permettant de réaliser des analyses de performances de logiciels de manière reproductible et simple.