Filter Content By
Version
Text Search
Administrative Commands
Gurobi Remote Services provides a number of administration features.
These allow you to check the status of a server, kill a running job,
etc. All are accessed through the gurobi_cl
command-line tool.
Refer to this section (and
this subsection in particular) for
more information.