init

1 files changed, 9 insertions, 0 deletions

diff --git a/work b/work
new file mode 100755
index 0000000..ffa1a11
--- /dev/null
+++ b/work
@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+TAG=$1
+if [ -z "$TAG" ]; then
+    echo "Need tag";
+    exit 1;
+fi
+glpsol --check --lp --wmps "mps.$TAG" "lp.$TAG"
+cbc "mps.$TAG" -sec 3600 solve -solution "sol.$TAG"
+echo "Done"