From 39f0757c2eb8becd2c50100e78b90964a1fac6bb Mon Sep 17 00:00:00 2001 From: cyfraeviolae Date: Sun, 4 Jul 2021 12:22:00 -0400 Subject: init --- work | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 work (limited to 'work') 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" -- cgit v1.2.3