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

[darioguidotti]

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]

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 #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]

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...