diff options
author | Justin Bedo <cu@cua0.org> | 2022-03-09 13:57:07 +1100 |
---|---|---|
committer | Justin Bedo <cu@cua0.org> | 2022-05-16 12:46:12 +1000 |
commit | 61a05c73159f4578322ba9a59ab8ee7a5f1fb1b4 (patch) | |
tree | 3db826e7c6952b40ebde20e27fb915b96f667abf /tools/hatchet-call.nix | |
parent | c4255587d157100db3bc05fa1feba4f16ffe140c (diff) |
HATCHet: 0.4.9 -> 0.4.14
Diffstat (limited to 'tools/hatchet-call.nix')
-rw-r--r-- | tools/hatchet-call.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/hatchet-call.nix b/tools/hatchet-call.nix index a3bd5ca..c99e664 100644 --- a/tools/hatchet-call.nix +++ b/tools/hatchet-call.nix @@ -125,6 +125,7 @@ stage passthru.multicore = true; } // (if gurobiLicense != null then { GRB_LICENSE_FILE = gurobiLicense; + HATCHET_COMPUTE_CN_SOLVER = "gurobi"; } else { HATCHET_COMPUTE_CN_SOLVER = "cbc"; })) |