Try our new documentation site (beta).
Filter Content By
Version
Text Search
${sidebar_list_label} - Back
Filter by Language
LogFile
Name for Gurobi log file
Type: | string |
---|---|
Default value: | "" |
Determines the name of the Gurobi log file. Modifying this parameter closes the current log file and opens the specified file. Use an emptry string for no log file. Use OutputFlag to shut off all logging.