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
Nächste Überarbeitung
Vorhergehende Überarbeitung
gurobi [2022/03/14 13:19]
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''
  
 Please check the gurobi web pages here:  Please check the gurobi web pages here: 
gurobi.1647260343.txt.gz · Zuletzt geändert: 2022/03/14 13:19 von schwan