8 lines
210 B
Bash
Executable File
8 lines
210 B
Bash
Executable File
#!/bin/bash
|
|
|
|
dir_path=$(dirname $(realpath $0))
|
|
extend_script="${dir_path}/extend.py"
|
|
glucose_bin="${dir_path}/glucose"
|
|
|
|
bzip2 -d < ${1} | python3 ${extend_script} -i "${dir_path}/../instances"| ${glucose_bin}
|