diff options
-rwxr-xr-x | scripts/cplex/ilp_solver | 4 | ||||
-rwxr-xr-x | scripts/gurobi/ilp_solver (renamed from scripts/ilp_solver) | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/cplex/ilp_solver b/scripts/cplex/ilp_solver index 9a6ff055..a449c203 100755 --- a/scripts/cplex/ilp_solver +++ b/scripts/cplex/ilp_solver @@ -1,7 +1,7 @@ #!/bin/sh tmp=$2.tmp -rm -f $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 diff --git a/scripts/ilp_solver b/scripts/gurobi/ilp_solver index 7a67a942..7a67a942 100755 --- a/scripts/ilp_solver +++ b/scripts/gurobi/ilp_solver |