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

[shanefeng123]

Hi @kkaulen,

Thank you for your container implementation.

I followed all your instruction to build a docker container with the image you provided. However, this error still exists. I can see that all the C libraries are installed successfully, and I assume this is just a path issue. But I don't know how to fix it. Can you please have a look?

Thanks,
Shane