You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
210 B
7 lines
210 B
#!/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}
|