Compiling Sherlock with newer Gurobi Version

[hmcm]

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]

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]

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