Nouveau serveur de licences pour Gurobi

Le serveur de licences pour Gurobi est désormais "licserv-r.rz.rptu.de".

Si vous avez installé le logiciel chez vous, veuillez adapter le fichier "gurobi.lic" en conséquence afin de permettre une utilisation ultérieure.

Votre équipe RHRZ