Gurobi version change required in DeepG Makefile

eth-sri / eran

ETH Robustness Analyzer for Deep Neural Networks

Apache License 2.0

323 stars 103 forks source link

Gurobi version change required in DeepG Makefile #89

Closed hfeniser closed 3 years ago

hfeniser commented 3 years ago

Hi, I was trying to install the tool but I failed because the Gurobi versoin referred in DeepG Makefile (which is 9.0 at the moment) and the version of the installed Gurobi (which is 9.1) does no match.

I solved this by forking DeepG repository and making the update by myself. Otherwise install.sh script fails in deepg part.

mnmueller commented 3 years ago

Hello @hasanferit,

thanks for pointing this out. We updated DeepG which should have resolved this issue. Please let us know if you face the problem again.

Cheers, Mark