Documentation: RobotLocomotion/drake@74aced4

Author: drake-jenkins-bot

bazel.html

@@ -343,30 +343,30 @@ <h1 id="proprietary-solvers">Proprietary Solvers</h1>
 <p>The Drake Bazel build currently supports the following proprietary solvers:</p>
 
 <ul>
-  <li>Gurobi 12.0</li>
+  <li>Gurobi 13.0</li>
   <li>MOSEK<a href="/tm.html">™</a> 11.1</li>
   <li>SNOPT 7.4</li>
 </ul>
 
-<h2 id="gurobi-120">Gurobi 12.0</h2>
+<h2 id="gurobi-130">Gurobi 13.0</h2>
 
 <h3 id="install-on-ubuntu">Install on Ubuntu</h3>
 
 <ol>
   <li>Register for an account on <a href="https://www.gurobi.com">https://www.gurobi.com</a>.</li>
   <li>Set up your Gurobi license file in accordance with Gurobi documentation.</li>
   <li><code class="language-plaintext highlighter-rouge">export GRB_LICENSE_FILE=/path/to/gurobi.lic</code>.</li>
-  <li>Download <code class="language-plaintext highlighter-rouge">gurobi12.0.3_linux64.tar.gz</code>. You may need to manually edit the
+  <li>Download <code class="language-plaintext highlighter-rouge">gurobi13.0.1_linux64.tar.gz</code>. You may need to manually edit the
 URL to get the correct version.</li>
-  <li>Unzip it. We suggest that you use <code class="language-plaintext highlighter-rouge">/opt/gurobi1203</code> to simplify working
+  <li>Unzip it. We suggest that you use <code class="language-plaintext highlighter-rouge">/opt/gurobi1301</code> to simplify working
 with Drake installations.</li>
-  <li>If you unzipped into a location other than <code class="language-plaintext highlighter-rouge">/opt/gurobi1203</code>, then call
+  <li>If you unzipped into a location other than <code class="language-plaintext highlighter-rouge">/opt/gurobi1301</code>, then call
 <code class="language-plaintext highlighter-rouge">export GUROBI_HOME=GUROBI_UNZIP_PATH/linux64</code> to set the path you used,
 where in <code class="language-plaintext highlighter-rouge">GUROBI_HOME</code> folder you can find <code class="language-plaintext highlighter-rouge">bin</code> folder.</li>
 </ol>
 
-<p>Drake supports any patch version of Gurobi 12.0. At time of writing, the most
-recent available version was 12.0.3; if using a newer patch version, the paths
+<p>Drake supports any patch version of Gurobi 13.0. At time of writing, the most
+recent available version was 13.0.1; if using a newer patch version, the paths
 and file names above should be adjusted accordingly.</p>
 
 <h3 id="install-on-macos">Install on macOS</h3>
@@ -375,7 +375,7 @@ <h3 id="install-on-macos">Install on macOS</h3>
   <li>Register for an account on <a href="http://www.gurobi.com">http://www.gurobi.com</a>.</li>
   <li>Set up your Gurobi license file in accordance with Gurobi documentation.</li>
   <li><code class="language-plaintext highlighter-rouge">export GRB_LICENSE_FILE=/path/to/gurobi.lic</code></li>
-  <li>Download and install <code class="language-plaintext highlighter-rouge">gurobi12.0.3_mac64.pkg</code>.</li>
+  <li>Download and install <code class="language-plaintext highlighter-rouge">gurobi13.0.1_macos2_universal.pkg</code>.</li>
 </ol>
 
 <p>To confirm that your setup was successful, run the tests that require Gurobi:</p>