blob: a449c203e43ee8183c1088ff3e421c192dc36668 (
plain)
1
2
3
4
5
6
7
|
#!/bin/sh
tmp=$2.tmp
rm -f $tmp $2
cplex -c "read $1" "optimize" "write $tmp sol"
grep '<variable name="' $tmp | sed -e 's@ *<variable name="@@' -e 's@" index=.* value="@ @' -e 's@"/>@@' > $2
touch $2
rm -f $tmp
|