search

souradeep-111 / sherlock

Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
MIT License
26 stars 12 forks source link

Compiling Sherlock with newer Gurobi Version #6

Open hmcm opened 3 years ago

hmcm commented 3 years ago

Hi,

I want to use Sherlock for verifying a neural network controller. I tried to compile Sherlock after installing Gurobi 8.0.1 and providing the installation location in Makefile-locale. However, when I run make, I get the following error message: collect2: error: ld returned 1 exit status

It appears to be because of the gurobi interface, since there are many "undefined reference to GRBModel:: ... " messages. Do you know how to solve this problem? It is not possible to download previous versions of Gurobi. Or do you have any idea what this could refer to?

Thanks a lot for your help! Best regards, Hannah

Johann-N commented 1 year ago

Hi,

I want to use Sherlock for verifying a neural network controller. I tried to compile Sherlock after installing Gurobi 8.0.1 and providing the installation location in Makefile-locale. However, when I run make, I get the following error message: collect2: error: ld returned 1 exit status

It appears to be because of the gurobi interface, since there are many "undefined reference to GRBModel:: ... " messages. Do you know how to solve this problem? It is not possible to download previous versions of Gurobi. Or do you have any idea what this could refer to?

Thanks a lot for your help! Best regards, Hannah

Hi, I'm having the same problem, could you please tell me if you have solved this problem and how you solved it?

souradeep-111 commented 1 year ago

Hi Everyone,

Please check out the more trimmed down version of Sherlock here : https://github.com/souradeep-111/Sherlock_2_Simple

It contains the basic functionality without the polynomial rule regression, and hence fewer dependencies. Happy to follow-up in case you have some issues.

Regards Souradeep