FedericoAureliano / aiutare

Automated Analysis, Regression, and Evaluation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Write setup.sh files for automated installation of case study solvers

fnnbrr opened this issue · comments

One .sh file for solvers; give the user the option to install all of them or only a selection.

One .sh file for benchmarks; probably should warn the user of how large the zipped & unzipped files are (1.3 GB and 13.7 GB).

Just leaving the process of downloading benchmarks to the user - once we decide on exactly which benchmarks to use for the case study, an install script can be written for that test set.