Packages / openSUSE Leap 15.6 / Productivity/Scientific/Other / z3

[Source: z3]

Package: z3 (4.12.2-bp156.1.6)

Theorem prover from Microsoft Research

Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates several decision procedures: Linear real and integer arithmetic, fixed-size bit vectors, uninterpreted functions, extensional arrays, quantifiers and model generation.

Other Packages Related to z3:

  • 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 z3

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

Package file paths (6)

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/bin/z3
  • /usr/share/doc/packages/z3
  • /usr/share/doc/packages/z3/README.md
  • /usr/share/doc/packages/z3/RELEASE_NOTES.md
  • /usr/share/licenses/z3
  • /usr/share/licenses/z3/LICENSE.txt

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

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Leap 15.6 in the browserBuild an image that includes z3

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
4.12.2-bp156.1.6leap-15.6 / ossaarch64openSUSE Leap 15.6 · OSS · multi-architecture7.0 MiB24 MiBaarch64/z3-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/z3-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/z3-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/z3-4.12.2-bp156.1.6.x86_64.rpm

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

Checksums and observation dates

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: c282cc37fcdb4e8740ae287fc79b99386a5829203ed150891f40d81206f688a67141751c1c0fd5bf14ba471fc43d9d0ceecc708c450f193cb5683fbf883d4083

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: dc5081cc0d1b5e3876ec4a5d77e8362aff2e67528bd8ef814b66252ea679acec33e2e3a17795e0791fd72fb921614a3d92a5af8995c4ad1ca7103baa2f0fc601

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: 93b789f62acaaa54f40b44f8045d529282cfe9a732cb4569f7f1f96f7d27f6ecd4dc937b748b484c6d7772d087a0f602d8205406c058265892c231bce0711396

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: 46fd4779e1d47f66abbd3f55ab4e5c61639177beaf26fc1d746f247671afbea68054f479098eb6550e9442003b495fb2dac33cea3d8758b5194d2678d20217ff

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

Catalog record completeness

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

Sources and provenance

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