"OSError: libcddgmp.so.0: cannot open shared object file: No such file or directory" when testing example

eth-sri / mn-bab

[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

https://www.sri.inf.ethz.ch/publications/ferrari2022complete

7 stars 6 forks source link

"OSError: libcddgmp.so.0: cannot open shared object file: No such file or directory" when testing example #3

Open darioguidotti opened 1 year ago

darioguidotti commented 1 year ago

Dear all,

Thank you very much for your work. I am trying to install mn-bab for an experimental comparison but, following the installation instructions, I end up with the error of the title when I try to execute "python src/verify.py -c configs/cifar10_conv_small.json". Do you have any advice?

Thank you for your time, Kind Regards, Dario

Melcfrn commented 1 year ago

Hi @darioguidotti,

I used it a long time ago, but if I remember well, the next lines will solve your problem (you can refer to my issue https://github.com/eth-sri/mn-bab/issues/2) :

export GUROBI_HOME="$PWD/gurobi912/linux64"
export PATH="$PATH:${GUROBI_HOME}/bin"
export CPATH="$CPATH:${GUROBI_HOME}/include"
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib:${GUROBI_HOME}/lib

kkaulen commented 5 months ago

I would suggest using one of the container definitions provided in PR #10. Correctly setting up all paths for the C libraries to work can be quite a hustle...