38,789
edits
Gurobi/fr: Difference between revisions
Updating to match new version of source page
No edit summary |
(Updating to match new version of source page) |
||
| Line 56: | Line 56: | ||
Il est possible d'enregistrer des appels API et de rejouer l'enregistrement avec la commande | Il est possible d'enregistrer des appels API et de rejouer l'enregistrement avec la commande | ||
<div class="mw-translate-fuzzy"> | |||
[gra800:~] gurobi_cl recording000.grbr | [gra800:~] gurobi_cl recording000.grbr | ||
</div> | |||
Référence : https://www.gurobi.com/documentation/8.1/refman/recording_api_calls.html | Référence : https://www.gurobi.com/documentation/8.1/refman/recording_api_calls.html | ||