aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/scip/ilp_solver
blob: 33b5940bb4239a8595cfd224111f63c589890dd0 (plain)
1
2
3
4
5
6
7
8
9
10
11
#!/bin/sh
# does not work
tmp=$2.tmp
rm -f $tmp $2
if scip -c "read $1" -c "optimize" -c "write solution $tmp" -c "quit" ;
then
    grep '(obj:' $tmp | sed -e 's@[[:space:]][[:space:]]*@ @' -e 's@[[:space:]]*(obj:.*)@@' > $2
    rm -f $tmp
else
    exit $?
fi