setup.sh at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / setup.sh

at develop 123 B view raw

1#!/usr/bin/env bash
2
3timeout_sec=120
4record_timeout_sec=240
5runs=10
6
7export PATH=`pwd`/software/install/minizinc/bin:$PATH