Skip to main content
metrics
Overall Score
2.6

Overview

Metrics is an open‑source Python library from CRIL that streamlines the entire workflow of solver experiments, from gathering raw execution data to generating insightful performance plots. It unifies diverse output formats, offering convenient statistical calculations and visualisation tools while promoting reproducible research through easy integration with virtual environments. With a single pip install crillab-metrics, researchers can quickly analyse SAT solver runs and share results in a standardized, reproducible manner. The library is well‑documented and actively maintained, making it a reliable choice for experimental performance analysis.

User Feedback


Rate the Costs fields
12345
12345
12345
12345
12345
12345
12345