1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/scip/ilp_solver b/scripts/scip/ilp_solver
new file mode 100755
index 00000000..33b5940b
--- /dev/null
+++ b/scripts/scip/ilp_solver
@@ -0,0 +1,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