ALT Linux Bugzilla – #54994

user@host ~ $ rpm -q python3-module-z3
python3-module-z3-4.15.2-alt1.noarch


user@host ~ $ rpm -qa | grep z3
python3-module-z3-4.15.2-alt1.noarch
libz3-4.15.2-alt1.x86_64


user@host ~ $ python3 -c 'import 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_LIB_DIRS Python-builtin before importing the z3 module, e.g. via
    import builtins
    builtins.Z3_LIB_DIRS = [ '/path/to/z3/lib/dir' ] # directory containing libz3.so
[TypeError('expected str, bytes or os.PathLike object, not NoneType'), OSError('libz3.so: cannot open shared object file: No such file or directory')]
Traceback (most recent call last):
  File "<string>", line 1, in <module>
  File "/usr/lib/python3/site-packages/z3/__init__.py", line 1, in <module>
    from .z3 import *
  File "/usr/lib/python3/site-packages/z3/z3.py", line 46, in <module>
    from . import z3core
  File "/usr/lib/python3/site-packages/z3/z3core.py", line 79, in <module>
    raise Z3Exception("libz3.%s not found." % _ext)
z3.z3types.Z3Exception: libz3.so not found.