python z3库问题“ builtins.Z3_LIB_DIRS = [ '/path/to/libz3.so' ]”

当出现如下问题说明z3 库的环境没有找到

Could not find libz3.so; consider adding the directory containing it to  
  - your system's PATH environment variable,  
  - the Z3_LIBRARY_PATH environment variable, or   
  - to the custom Z3_LIBRARY_DIRS Python-builtin before importing the z3 module, e.g. via  
    import builtins  
    builtins.Z3_LIB_DIRS = [ '/path/to/libz3.so' ]

root@win-node01:/data# cat /etc/ld.so.conf  
include /etc/ld.so.conf.d/*.conf  
/opt/z3/bin/

/opt/z3/bin/libz3.so:  
/sbin/ldconfig.real: Can't open directory /opt/z3/bin/libz3.so: Not a directory  
/lib:  
/usr/lib:

root@win-node01:~# vim /etc/ld.so.conf  
root@win-node01:~#   
root@win-node01:~#   
root@win-node01:~# ldconfig -v  
/sbin/ldconfig.real: Can't stat /usr/local/lib/x86_64-linux-gnu: No such file or directory  
/sbin/ldconfig.real: Path `/lib/x86_64-linux-gnu' given more than once  
/sbin/ldconfig.real: Path `/usr/lib/x86_64-linux-gnu' given more than once  
/usr/lib/x86_64-linux-gnu/libfakeroot:  
    libfakeroot-0.so -> libfakeroot-tcp.so  
/usr/local/lib:  
/lib/x86_64-linux-gnu:  
    liblvm2cmd.so.2.02 -> liblvm2cmd.so.2.02  
    libkmod.so.2 -> libkmod.so.2.3.2  
    liblzo2.so.2 -> liblzo2.so.2.0.0  
    libss.so.2 -> libss.so.2.0

.

.

    libpciaccess.so.0 -> libpciaccess.so.0.11.1  
    libsigsegv.so.2 -> libsigsegv.so.2.0.5  
    libxcb-glx.so.0 -> libxcb-glx.so.0.0.0  
    libmenuw.so.5 -> libmenuw.so.5.9  
/opt/z3/bin:  
    libz3java.so -> libz3java.so  
    libz3.so -> libz3.so  
/lib:  
/usr/lib: