How do I set up a license without installing the full Gurobi package?

For users who cannot install the full Gurobi Package but still need the license tools grbgetkey and grbprobe and/or the token server grb_ts, we have collected those three tools for download here:

• Windows: licensetools10.0.1_win64.zip
• macOS: licensetools10.0.1_macos_universal2.tar.gz
• Linux: licensetools10.0.1_linux64.tar.gz

These tools are also contained in the full Gurobi installation package.