Packages / openSUSE Leap 15.6 / System/Libraries / libz3-4_12

[Source: z3]

Package: libz3-4_12 (4.12.2-bp156.1.6)

Libreria per il dimostratore di teoremi SMT Z3

Z3 è un risolutore Satisfiability Modulo Theories (SMT) e integra diverse procedure di decisione. Questo sottopacchetto contiene la libreria runtime di Z3 necessaria per Z3 e altri progetti.

Other Packages Related to libz3-4_12:

  • dep: /sbin/ldconfig

    Package not available

  • dep: /sbin/ldconfig

    Package not available

  • dep: ld-linux-aarch64.so.1()(64bit)

    Package not available

  • dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)

    Package not available

  • dep: libgcc_s.so.1()(64bit)

    Package not available

  • dep: libgcc_s.so.1(GCC_3.0)(64bit)

    Package not available

  • dep: libgmp.so.10()(64bit)

    Package not available

  • dep: libm.so.6()(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.17)(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.29)(64bit)

    Package not available

  • dep: libstdc++.so.6()(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.2)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.14)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.17)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.18)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.19)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.20)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.22)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)

    Package not available

  • dep: libc.so.6(GLIBC_2.38)(64bit)

    Package not available

Download libz3-4_12

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch647.0 MiB24 MiBlist of filesDownload
ppc64le7.6 MiB31 MiBlist of filesDownload
s390x6.6 MiB26 MiBlist of filesDownload
x86_647.5 MiB24 MiBlist of filesDownload

Percorsi file del pacchetto (2)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/lib64/libz3.so.4.12
  • /usr/lib64/libz3.so.4.12.2.0

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova openSUSE Leap 15.6 nel browserCrea un'immagine che include libz3-4_12

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
4.12.2-bp156.1.6leap-15.6 / ossaarch64openSUSE Leap 15.6 · OSS · multi-architecture7.0 MiB24 MiBaarch64/libz3-4_12-4.12.2-bp156.1.6.aarch64.rpm
4.12.2-bp156.1.6leap-15.6 / ossppc64leopenSUSE Leap 15.6 · OSS · multi-architecture7.6 MiB31 MiBppc64le/libz3-4_12-4.12.2-bp156.1.6.ppc64le.rpm
4.12.2-bp156.1.6leap-15.6 / osss390xopenSUSE Leap 15.6 · OSS · multi-architecture6.6 MiB26 MiBs390x/libz3-4_12-4.12.2-bp156.1.6.s390x.rpm
4.12.2-bp156.1.6leap-15.6 / ossx86_64openSUSE Leap 15.6 · OSS · multi-architecture7.5 MiB24 MiBx86_64/libz3-4_12-4.12.2-bp156.1.6.x86_64.rpm

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

4.12.2-bp156.1.6 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 2c190361897727b9186f18b1174ad66050c43fc0dc0f27cc378068c4d540a783db2548552248be05fe45e08f9a4d64e08abe84662215287b0236234a1366cc70

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

4.12.2-bp156.1.6 / ppc64leObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: f195710e5dd875d3d2b5fb29697cd509c0941b1f7c9cac26d2de29d36f31ef0cd2d78b14f7d1b63775a36f58d61ac7d61c7051c93010c1f309b874c40c2be6ef

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

4.12.2-bp156.1.6 / s390xObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 0e14409a86e13d449076aaf36e72490ea91f1fb78a67c592735976b44214141671ce7185e4dde04c71b9635709508aaeff97acc006f8274ca3c97e1cf6e28e28

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

4.12.2-bp156.1.6 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 13904c3d2176f99094dbd195dabf4c1377163b1978e306fa9166536c1a60b39e71bb6e3c2176a41a5cb8ef308c08f589b487bcecf20e72773db025e1c42cb95e

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • openSUSE Leap 15.6 OSSSep 1, 2026

    Authoritative source; repository metadata signature verified, revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified