Passer au contenu principal
metrics
Score global
2,6

Aperçu

Metrics est une bibliothèque Python open‑source développée au CRIL, destinée à simplifier la conduite et l’analyse d’expériences sur les solveurs, notamment dans le domaine du SAT.
Elle unifie la collecte de statistiques à partir de divers formats d’entrée, propose des outils de visualisation et de calcul de métriques, et facilite l’organisation des résultats pour une meilleure reproductibilité.
Grâce à une interface intuitive et à une installation via pip, Metrics permet aux chercheurs de partager facilement leurs travaux tout en gagnant du temps sur la mise en place des workflows expérimentaux.

Retours utilisateur


Évaluez les champs Coûts
12345
12345
12345
12345
12345
12345
12345