8 lines
123 B
Bash
8 lines
123 B
Bash
#!/usr/bin/env bash
|
|
|
|
timeout_sec=120
|
|
record_timeout_sec=240
|
|
runs=10
|
|
|
|
export PATH=`pwd`/software/install/minizinc/bin:$PATH
|