Linux workstation

Upstream software project

z3

Theorem prover from Microsoft Research (development files)

About z3

Theorem prover from Microsoft Research (development files)

This project links 21 native package records across 5 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

z3 repository preview from GitHub
Project repository preview, supplied by GitHub. Open source repository
Alpine Linux 3.21: 3 package records; Alpine Linux 3.22: 3 package records; Alpine Linux 3.23: 3 package records; Debian 12 (Bookworm): 6 package records; Debian 13 (Trixie): 6 package records. Catalog coverage diagram, not an application screenshot.z3: recorded package coverageAlpine Linux 3.213 recordsAlpine Linux 3.223 recordsAlpine Linux 3.233 recordsDebian 12 (Bookworm)6 recordsDebian 13 (Trixie)6 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
z3
Publisher
Not authoritatively mapped
Native package records
21
Operating systems
alpine-linux-3-21, alpine-linux-3-22, alpine-linux-3-23, debian-12, debian-13
License expression
MIT
Metadata completeness
70/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Open source repository

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

Theorem prover from Microsoft Research (development files)

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Alpine Linux 3.21

  1. py3-z3

    Alpine Linux 3.21 / source z3

    4.13.3-r0

    Python bindings for z3

    aarch64x86_64v3.21
  2. z3

    Alpine Linux 3.21 / source z3

    4.13.3-r0

    Theorem prover from Microsoft Research

    aarch64x86_64v3.21
  3. z3-dev

    Alpine Linux 3.21 / source z3

    4.13.3-r0

    Theorem prover from Microsoft Research (development files)

    aarch64x86_64v3.21

Alpine Linux 3.22

  1. py3-z3

    Alpine Linux 3.22 / source z3

    4.15.0-r0

    Python bindings for z3

    aarch64x86_64v3.22
  2. z3

    Alpine Linux 3.22 / source z3

    4.15.0-r0

    Theorem prover from Microsoft Research

    aarch64x86_64v3.22
  3. z3-dev

    Alpine Linux 3.22 / source z3

    4.15.0-r0

    Theorem prover from Microsoft Research (development files)

    aarch64x86_64v3.22

Alpine Linux 3.23

  1. py3-z3

    Alpine Linux 3.23 / source z3

    4.15.4-r0

    Python bindings for z3

    aarch64x86_64v3.23
  2. z3

    Alpine Linux 3.23 / source z3

    4.15.4-r0

    Theorem prover from Microsoft Research

    aarch64x86_64v3.23
  3. z3-dev

    Alpine Linux 3.23 / source z3

    4.15.4-r0

    Theorem prover from Microsoft Research (development files)

    aarch64x86_64v3.23

Debian 12 (Bookworm)

  1. libz3-4

    Debian 12 (Bookworm) / libs / source z3

    4.8.12-3.1

    theorem prover from Microsoft Research - runtime libraries

    amd64arm64bookworm
  2. libz3-dev

    Debian 12 (Bookworm) / libdevel / source z3

    4.8.12-3.1

    theorem prover from Microsoft Research - development files

    amd64arm64bookworm
  3. libz3-java

    Debian 12 (Bookworm) / java / source z3

    4.8.12-3.1

    theorem prover from Microsoft Research - java bindings

    amd64arm64bookworm
  4. libz3-jni

    Debian 12 (Bookworm) / java / source z3

    4.8.12-3.1

    theorem prover from Microsoft Research - JNI library

    amd64arm64bookworm
  5. python3-z3

    Debian 12 (Bookworm) / python / source z3

    4.8.12-3.1

    theorem prover from Microsoft Research - Python 3 bindings

    amd64arm64bookworm
  6. z3

    Debian 12 (Bookworm) / science

    4.8.12-3.1

    theorem prover from Microsoft Research

    amd64arm64bookworm

Debian 13 (Trixie)

  1. libz3-4

    Debian 13 (Trixie) / libs / source z3

    4.13.3-1

    theorem prover from Microsoft Research - runtime libraries

    amd64arm64trixie
  2. libz3-dev

    Debian 13 (Trixie) / libdevel / source z3

    4.13.3-1

    theorem prover from Microsoft Research - development files

    amd64arm64trixie
  3. libz3-java

    Debian 13 (Trixie) / java / source z3

    4.13.3-1

    theorem prover from Microsoft Research - java bindings

    amd64arm64trixie
  4. libz3-jni

    Debian 13 (Trixie) / java / source z3

    4.13.3-1

    theorem prover from Microsoft Research - JNI library

    amd64arm64trixie
  5. python3-z3

    Debian 13 (Trixie) / python / source z3

    4.13.3-1

    theorem prover from Microsoft Research - Python 3 bindings

    amd64arm64trixie
  6. z3

    Debian 13 (Trixie) / science

    4.13.3-1

    theorem prover from Microsoft Research

    amd64arm64trixie

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.