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.12

Found 10 RPM for libz3.so.4.12

Package	Summary	Distribution	Download
libz3-4_12-4.12.5-1.1.armv6hl.html	Library for the Z3 SMT theorem prover	OpenSuSE Ports Tumbleweed for armv6hl	libz3-4_12-4.12.5-1.1.armv6hl.rpm
libz3-4_12-4.12.5-1.1.armv7hl.html	Library for the Z3 SMT theorem prover	OpenSuSE Ports Tumbleweed for armv7hl	libz3-4_12-4.12.5-1.1.armv7hl.rpm

libz3_4-4.12.4-1.mga10.armv7hl.html	Library for applications that use z3 functionality	Mageia Cauldron for armv7hl	libz3_4-4.12.4-1.mga10.armv7hl.rpm
libz3_4-4.12.4-1.mga10.i586.html	Library for applications that use z3 functionality	Mageia Cauldron for i686	libz3_4-4.12.4-1.mga10.i586.rpm
libz3_4-4.12.1-1.mga9.armv7hl.html	Library for applications that use z3 functionality	Mageia 9 for armv7hl	libz3_4-4.12.1-1.mga9.armv7hl.rpm
libz3_4-4.12.1-1.mga9.i586.html	Library for applications that use z3 functionality	Mageia 9 for i586	libz3_4-4.12.1-1.mga9.i586.rpm

z3-libs-4.12.6-1.fc39.i686.html	Library for applications that use z3 functionality	Fedora 39 updates for x86_64	z3-libs-4.12.6-1.fc39.i686.rpm
z3-libs-4.12.2-6.fc39.i686.html	Library for applications that use z3 functionality	Fedora 39 for x86_64	z3-libs-4.12.2-6.fc39.i686.rpm
z3-libs-4.12.2-1.fc38.i686.html	Library for applications that use z3 functionality	Fedora 38 updates for x86_64	z3-libs-4.12.2-1.fc38.i686.rpm
z3-libs-4.12.1-2.fc38.i686.html	Library for applications that use z3 functionality	Fedora 38 for x86_64	z3-libs-4.12.1-2.fc38.i686.rpm

Generated by rpm2html 1.6

Fabrice Bellet