diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-13 04:09:24 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-13 04:09:24 +0100 |
| commit | 0e423e645dba8a0f0a48e98a66aee9d53fb3a194 (patch) | |
| tree | 1259511ef9da402a184d5858e0e23cb8e35dab8b /scripts/gurobi | |
| parent | 86aecfee139ed5cd76c38f82f03b7d7264583b79 (diff) | |
| download | compcert-kvx-0e423e645dba8a0f0a48e98a66aee9d53fb3a194.tar.gz compcert-kvx-0e423e645dba8a0f0a48e98a66aee9d53fb3a194.zip | |
scripts for using Gurobi and Cplex for ILP solving
Diffstat (limited to 'scripts/gurobi')
| -rwxr-xr-x | scripts/gurobi/ilp_solver | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/gurobi/ilp_solver b/scripts/gurobi/ilp_solver new file mode 100755 index 00000000..7a67a942 --- /dev/null +++ b/scripts/gurobi/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 |