Gurobi/fr: Difference between revisions

112 bytes removed ,  4 years ago
no edit summary
No edit summary
No edit summary
Line 45: Line 45:
  **** https://www.gurobi.com/documentation/8.1/refman/attributes.html
  **** https://www.gurobi.com/documentation/8.1/refman/attributes.html


===Répéter des appels API===
===Commande ''Replay API Call Recording''===
Il est possible d'enregistrer des séquences de commandes et de les répéter avec la fonction ''Replay API Call Recording''.


  [gra800:~] gurobi_cl recording000.grbr
  [gra800:~] gurobi_cl recording000.grbr
rsnt_translations
56,563

edits