Error msg: libcadiback.so: cannot open shared object file: No such file or directory. It happened when I tried import stp in python interface

I followed the instructions and met this problem. Then I installed cadical and cadiback independently, still didn't work. Somehow cadiback itself doesn't work.

I saw the issue saying that CMakeLists.txt contains set(CADICAL_DIR "/home/thansen/solvers/cadical" CACHE PATH "Path to directory"). But it seems that it simply doesn't work. I haven't tried to set path manually though.

I'm sorry if this issue seems stupid, but I have tried everything I could.