Add gurobi 11

Maybe to merge before the externals which would install only gurobi 11, I suppose

requested review from @richart

assigned to @ddossant

added 1 commit

• 3043199a - Adding support for licenses

Compare with previous version

added 1 commit

• d0d35352 - Simplifing by using default path

Compare with previous version

added 1 commit

• 3ecb3a96 - Error due to copy/pasta

Compare with previous version

added 1 commit

• fca7fad8 - Does not like * on seamingly empty directory

Compare with previous version

I added a license folder that is copied if it exists, so all the serveur licenses can go there

added 1 commit

• 57247f24 - Added gurobi license file

Compare with previous version

added 1 commit

• 11b5b69e - Moving the license in a subfolder as required by the package.py and

Compare with previous version

added 15 commits

• 11b5b69e...d85cc47b - 8 commits from branch main
• b75e4e7b - Add gurobi 11
• a01a2ac6 - Adding support for licenses
• e03ce2fd - Simplifing by using default path
• ce917095 - Error due to copy/pasta
• a1cc9691 - Does not like * on seamingly empty directory
• 46c668db - Added gurobi license file
• 033c75de - Moving the license in a subfolder as required by the package.py and

Compare with previous version

added 2 commits

• 5eebe2a2 - moving definition
• 3dda959e - Forcing latest version of gurobi

Compare with previous version

LGTM, even though you're the reviewer :-D Thanks for all the changes (and spotting the gurobi license folder issue)

mentioned in commit 09f1ee6e

merged

It still does not install the latest version, since gurobi@10 was installed as external

I was not fast enough...