Benutzer-Werkzeuge

Webseiten-Werkzeuge


gurobi

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
gurobi [2022/03/14 13:23]
schwan
gurobi [2022/03/14 13:23] (aktuell)
schwan
Zeile 5: Zeile 5:
  
 The variable ''GRB_LICENSE_FILE'' must point to the right license file ''/usr/app-soft/gurobi/gurobi.lic''\\ The variable ''GRB_LICENSE_FILE'' must point to the right license file ''/usr/app-soft/gurobi/gurobi.lic''\\
-Please check this variable with the command ''echo $GRB_LICENSE_FILE''+Please check this variable with the command ''echo $GRB_LICENSE_FILE''\\
 You can check the gurobi license server with ''gurobi_cl --tokens'' You can check the gurobi license server with ''gurobi_cl --tokens''
  
gurobi.1647260586.txt.gz · Zuletzt geändert: 2022/03/14 13:23 von schwan