The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

RPM resource libz3.so.4.8()(64bit)

Found 10 RPM for libz3.so.4.8()(64bit)

Package	Summary	Distribution	Download
libz3-4_8-4.8.13-bp154.1.30.aarch64.html	Library for the Z3 SMT theorem prover	OpenSuSE Leap 15.4 for aarch64	libz3-4_8-4.8.13-bp154.1.30.aarch64.rpm
libz3-4_8-4.8.13-bp154.1.30.ppc64le.html	Library for the Z3 SMT theorem prover	OpenSuSE Leap 15.4 for ppc64le	libz3-4_8-4.8.13-bp154.1.30.ppc64le.rpm
libz3-4_8-4.8.13-bp154.1.30.s390x.html	Library for the Z3 SMT theorem prover	OpenSuSE Leap 15.4 for s390x	libz3-4_8-4.8.13-bp154.1.30.s390x.rpm
libz3-4_8-4.8.13-bp154.1.30.x86_64.html	Library for the Z3 SMT theorem prover	OpenSuSE Leap 15.4 for x86_64	libz3-4_8-4.8.13-bp154.1.30.x86_64.rpm
libz3-4_8-4.8.7+git.20200407-bp153.1.13.x86_64.html	Library for the Z3 SMT theorem prover	OpenSuSE Leap 15.3 for x86_64	libz3-4_8-4.8.7+git.20200407-bp153.1.13.x86_64.rpm
libz3-4_8-4.8.7+git.20200407-lp152.1.2.x86_64.html	Library for the Z3 SMT theorem prover	OpenSuSE Leap 15.2 for x86_64	libz3-4_8-4.8.7+git.20200407-lp152.1.2.x86_64.rpm

z3-libs-4.8.15-2.el9.aarch64.html	Library for applications that use z3 functionality	EPEL 9 for aarch64	z3-libs-4.8.15-2.el9.aarch64.rpm
z3-libs-4.8.15-2.el9.ppc64le.html	Library for applications that use z3 functionality	EPEL 9 for ppc64le	z3-libs-4.8.15-2.el9.ppc64le.rpm
z3-libs-4.8.15-2.el9.s390x.html	Library for applications that use z3 functionality	EPEL 9 for s390x	z3-libs-4.8.15-2.el9.s390x.rpm
z3-libs-4.8.15-2.el9.x86_64.html	Library for applications that use z3 functionality	EPEL 9 for x86_64	z3-libs-4.8.15-2.el9.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet