diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 19:40:44 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 19:40:44 +0100 |
commit | 691b6d46629006eca9cefcd54f3c513698db5c17 (patch) | |
tree | 07eed48172052809e7b273e1bf33058c2cd5f47e /scripts | |
parent | 45b0cf75d14fdc2a053e3f966441d2103a40c41b (diff) | |
download | compcert-kvx-691b6d46629006eca9cefcd54f3c513698db5c17.tar.gz compcert-kvx-691b6d46629006eca9cefcd54f3c513698db5c17.zip |
script for using Gurobi with -fpostpass-ilp
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ilp_solver | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/ilp_solver b/scripts/ilp_solver new file mode 100755 index 00000000..7a67a942 --- /dev/null +++ b/scripts/ilp_solver @@ -0,0 +1,3 @@ +#!/bin/sh +# For using -fpostpass-ilp with Gurobi +exec gurobi_cl DegenMoves=4 Heuristics=0 MIPFocus=2 PrePasses=2 ResultFile=$2 $1 |