Updated Gurobi to v9.1.2 to avoid expiring license on WSL2

eth-sri / eran

ETH Robustness Analyzer for Deep Neural Networks

Apache License 2.0

323 stars 103 forks source link

Updated Gurobi to v9.1.2 to avoid expiring license on WSL2 #86

Closed jkomyno closed 3 years ago

jkomyno commented 3 years ago

Hi, I have updated all references to the Gurobi optimizer to use the newer version v9.1.2 rather than v9.0.0.

This is particularly useful to Windows users that run the ERAN analyzer on WSL2 (Windows Subsystem for Linux 2). In fact, on WSL2, Gurobi licenses expire after every system reboot due to this issue.

I have tested ERAN with Gurobi v9.1.2 on my local machine, running Ubuntu 20.04 on WSL2. eth-eran

lindenwells commented 2 years ago

Not working for me, gurobipy 9.5.1, WSL2 I followed the steps in https://github.com/microsoft/WSL/issues/5352#issuecomment-1076336583 and my licence remains valid between reboots of WSL2.