python解释器下安装z3_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/ldco