8 lines
138 B
Bash
8 lines
138 B
Bash
#!/usr/bin/env zsh
|
|
|
|
timeout_sec=120
|
|
record_timeout_sec=240
|
|
runs=10
|
|
|
|
minizinc="/Users/jdek0001/Repositories/minizinc/libmzn/build/release"
|