cfpq_data.dataset.download_benchmark

download_benchmark(name: str) → Path

Download benchmark data.

Parameters:

namestr

The name of the benchmark.

Returns:

pathPath

Path to the directory with benchmark data.

Examples

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