crillab/metrics-solvers

This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.

Size: 36.1 KB - Last synced at: about 4 hours ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

crillab/metrics-examples

Language: Jupyter Notebook - Size: 16.4 MB - Last synced at: about 16 hours ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

crillab/metrics

mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

Language: Python - Size: 20.1 MB - Last synced at: about 16 hours ago - Pushed at: 2 days ago - Stars: 11 - Forks: 1