cfpq_data.dataset.download_benchmark

download_benchmark(name: str) → Path

Download benchmark data.

Parameters:

name (str) -- The name of the benchmark.

Examples

>>> from cfpq_data import *
>>> path = download_benchmark("MS_Reachability")

Returns:

path -- Path to the directory with benchmark data.

Return type:

Path