From 605f0a1b6a6d4e5e9ada867baebc3e56736fe920 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 13 Mar 2019 07:35:32 +0100
Subject: for scip

---
 scripts/scip/ilp_solver | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 scripts/scip/ilp_solver

(limited to 'scripts')

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
-- 
cgit