xgillard/rsolve repository overview

docker run --mount type=bind,source=/local/path,destination=/container/path \
       xgillard/rsolve launcher -p rsolve -d /benchmarks -e cnf

docker run --name agile_track \
--mount type=bind,source=/Users/user/Documents/EXPERIMENTS/CNF_instances/Bench16/Agile,destination=/benchmarks \
xgillard/rsolve launcher -p rsolve -d /benchmarks -t 5