Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
on-restart-benchmarks setup.sh
123 B · 7 lines
Shell
at develop
12345678#!/usr/bin/env bash
timeout_sec=120record_timeout_sec=240runs=10
export PATH=`pwd`/software/install/minizinc/bin:$PATH