| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Adélie Linux current
user |
z3-dev |
4.8.17 |
- |
awilfox@adelielinux.org |
Adélie Linux current
user |
z3 |
4.8.17 |
- |
awilfox@adelielinux.org |
Adélie Linux current
user |
py3-z3 |
4.8.17 |
- |
awilfox@adelielinux.org |
Adélie Linux current
user |
z3-dbg |
4.8.17 |
- |
awilfox@adelielinux.org |
Alpine Linux 3.9
community |
py3-z3 |
4.8.4 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.9
community |
z3 |
4.8.4 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.9
community |
z3-dev |
4.8.4 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.10
community |
z3-dev |
4.8.5 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.10
community |
py3-z3 |
4.8.5 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.10
community |
z3 |
4.8.5 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.11
community |
z3 |
4.8.7 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.11
community |
z3-dev |
4.8.7 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.11
community |
py3-z3 |
4.8.7 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.12
community |
z3 |
4.8.8 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.12
community |
z3-dev |
4.8.8 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.12
community |
py3-z3 |
4.8.8 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.13
community |
z3-dev |
4.8.9 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.13
community |
z3 |
4.8.9 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.13
community |
py3-z3 |
4.8.9 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.14
community |
z3-dev |
4.8.11 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.14
community |
z3 |
4.8.11 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.14
community |
py3-z3 |
4.8.11 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.15
community |
z3 |
4.8.13 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.15
community |
z3-dev |
4.8.13 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.15
community |
py3-z3 |
4.8.13 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.16
community |
z3 |
4.8.17 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.16
community |
z3-dev |
4.8.17 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.16
community |
py3-z3 |
4.8.17 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.17
community |
z3 |
4.11.2 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.17
community |
py3-z3 |
4.11.2 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.17
community |
z3-dev |
4.11.2 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.18
community |
py3-z3 |
4.12.1 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.18
community |
z3 |
4.12.1 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux 3.18
community |
z3-dev |
4.12.1 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux Edge
community |
py3-z3 |
4.12.2 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux Edge
community |
z3 |
4.12.2 |
- |
soeren+alpine@soeren-tempel.net |
Alpine Linux Edge
community |
z3-dev |
4.12.2 |
- |
soeren+alpine@soeren-tempel.net |
|
ALT Linux p9 |
z3 |
4.5.0 |
Sciences/Mathematics |
darktemplar@altlinux.org |
|
ALT Linux p10 |
z3 |
4.8.8 |
Sciences/Mathematics |
darktemplar@altlinux.org |
|
ALT Sisyphus |
z3 |
4.8.8 |
Sciences/Mathematics |
darktemplar@altlinux.org |
|
AOSC |
z3 |
4.8.10 |
math |
fallback-mnt-aosc@repology |
Apertis v2021
v2021/development |
z3 |
4.8.9 |
main |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Apertis v2022
v2022/target |
z3 |
4.8.10 |
main |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Apertis v2023
v2023/target |
z3 |
4.8.10 |
- |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Apertis v2024 Development
v2024dev1/target |
z3 |
4.8.10 |
- |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Arch
extra |
z3 |
4.12.1 |
- |
- |
Arch
extra |
python-z3-solver |
4.12.1 |
- |
- |
Arch Linux 32 i486
extra |
z3 |
4.12.1 |
- |
- |
Arch Linux 32 i486
extra |
python-z3-solver |
4.12.1 |
- |
- |
Arch Linux 32 i486
extra |
python-z3 |
4.9.0 |
- |
- |
Arch Linux 32 i686
extra |
z3 |
4.12.1 |
- |
- |
Arch Linux 32 i686
extra |
python-z3-solver |
4.12.1 |
- |
- |
Arch Linux 32 i686
extra |
python-z3 |
4.9.1 |
- |
- |
Arch Linux 32 pentium4
extra |
python-z3-solver |
4.12.1 |
- |
- |
Arch Linux 32 pentium4
extra |
z3 |
4.12.1 |
- |
- |
Arch Linux 32 pentium4
extra |
python-z3 |
4.10.0 |
- |
- |
Arch Linux ARM aarch64
community |
z3 |
4.12.1 |
- |
- |
Arch Linux ARM aarch64
community |
python-z3-solver |
4.12.1 |
- |
- |
Arch Linux ARM armv7h
community |
python-z3-solver |
4.12.1 |
- |
- |
Arch Linux ARM armv7h
community |
z3 |
4.12.1 |
- |
- |
|
AUR |
z3-git |
4.8.9.r232.gfae948130 |
- |
d.woffinden@aur |
|
AUR |
mingw-w64-z3 |
4.12.1 |
- |
xantares@aur |
Artix
world |
python-z3-solver |
4.12.1 |
- |
- |
Artix
world |
z3 |
4.12.1 |
- |
- |
|
Chocolatey |
Z3 Theorem Prover |
4.12.2 |
- |
- |
|
ConanCenter |
z3 |
4.12.2 |
- |
- |
|
ConanCenter |
z3 |
4.12.1 |
- |
- |
|
ConanCenter |
z3 |
4.11.2 |
- |
- |
|
ConanCenter |
z3 |
4.10.2 |
- |
- |
|
ConanCenter |
z3 |
4.9.1 |
- |
- |
Debian 10
buster/main |
z3 |
4.4.1 |
misc |
pkg-llvm-team@lists.alioth.debian.org, mt@debian.org |
Debian 11
bullseye/main |
z3 |
4.8.10 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Debian 12
bookworm/main |
z3 |
4.8.12 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Debian Unstable
sid/main |
z3 |
4.8.12 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Deepin
main |
z3 |
4.4.1 |
- |
pkg-llvm-team@lists.alioth.debian.org, mt@debian.org |
Devuan 3.0
beowulf/main |
z3 |
4.4.1 |
misc |
pkg-llvm-team@lists.alioth.debian.org, mt@debian.org |
Devuan 4.0
chimaera/main |
z3 |
4.8.10 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Devuan Unstable
unstable/main |
z3 |
4.8.12 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
|
DPorts |
math/z3 |
4.8.13 |
math |
arrowd@freebsd.org |
|
EPEL 9 |
z3 |
4.8.15 |
Unspecified |
- |
Fedora 26
release |
z3 |
4.5.0 |
Unspecified |
- |
Fedora 27
release |
z3 |
4.5.0 |
Unspecified |
- |
Fedora 28
updates |
z3 |
4.7.1 |
Unspecified |
- |
Fedora 28
release |
z3 |
4.6.0 |
Unspecified |
- |
Fedora 29
release |
z3 |
4.7.1 |
Unspecified |
- |
Fedora 30
updates |
z3 |
4.8.5 |
Unspecified |
- |
Fedora 30
release |
z3 |
4.8.4 |
Unspecified |
- |
Fedora 31
updates |
z3 |
4.8.7 |
Unspecified |
- |
Fedora 31
release |
z3 |
4.8.6 |
Unspecified |
- |
Fedora 32
updates |
z3 |
4.8.8 |
Unspecified |
- |
Fedora 32
release |
z3 |
4.8.7 |
Unspecified |
- |
Fedora 33
release |
z3 |
4.8.9 |
Unspecified |
- |
Fedora 33
updates |
z3 |
4.8.9 |
Unspecified |
- |
Fedora 34
updates |
z3 |
4.8.14 |
Unspecified |
- |
Fedora 34
release |
z3 |
4.8.10 |
Unspecified |
- |
Fedora 35
updates |
z3 |
4.8.14 |
Unspecified |
- |
Fedora 35
release |
z3 |
4.8.12 |
Unspecified |
- |
Fedora 36
updates |
z3 |
4.8.17 |
Unspecified |
- |
Fedora 36
release |
z3 |
4.8.15 |
Unspecified |
- |
Fedora 37
release |
z3 |
4.11.2 |
Unspecified |
- |
Fedora 37
updates |
z3 |
4.11.2 |
Unspecified |
- |
Fedora 38
updates |
z3 |
4.12.2 |
Unspecified |
- |
Fedora 38
release |
z3 |
4.12.1 |
Unspecified |
- |
Fedora Rawhide
development |
z3 |
4.12.2 |
Unspecified |
- |
|
FreeBSD Ports |
math/z3 |
4.12.1 |
math |
arrowd@freebsd.org |
|
Gentoo |
sci-mathematics/z3 |
4.12.1 |
sci-mathematics |
gienah@gentoo.org, mgorny@gentoo.org, sci@gentoo.org |
|
GNU Guix |
z3 |
4.8.17 |
- |
- |
|
Homebrew |
z3 |
4.12.2 |
- |
- |
Kali Linux Rolling
main |
z3 |
4.8.12 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
|
LiGurOS stable |
sci-mathematics/z3 |
4.12.1 |
sci-mathematics |
gienah@gentoo.org, mgorny@gentoo.org, sci@gentoo.org |
|
LiGurOS develop |
sci-mathematics/z3 |
4.12.1 |
sci-mathematics |
gienah@gentoo.org, mgorny@gentoo.org, sci@gentoo.org |
|
MacPorts |
z3 |
4.12.1 |
math |
landonf@macports, landonf@github |
Mageia Cauldron
core/release |
z3 |
4.12.1 |
Sciences/Mathematics |
- |
Manjaro Stable
community |
python-z3-solver |
4.12.1 |
- |
- |
Manjaro Stable
community |
z3 |
4.12.1 |
- |
- |
Manjaro Testing
community |
z3 |
4.12.1 |
- |
- |
Manjaro Testing
community |
python-z3-solver |
4.12.1 |
- |
- |
Manjaro Unstable
extra |
z3 |
4.12.1 |
- |
- |
Manjaro Unstable
extra |
python-z3-solver |
4.12.1 |
- |
- |
MSYS2 mingw
x86_64 |
mingw-w64-x86_64-z3 |
4.12.1 |
- |
- |
MSYS2 mingw
i686 |
mingw-w64-i686-z3 |
4.12.1 |
- |
- |
|
nixpkgs stable 21.11 |
z3 |
4.8.12 |
python38Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 21.11 |
z3 |
4.8.12 |
python39Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 21.11 |
z3 |
4.8.12 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 21.11 |
z3 |
4.4.0 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.05 |
z3 |
4.8.15 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.05 |
z3 |
4.8.15 |
python39Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.05 |
z3 |
4.8.15 |
python310Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.05 |
z3 |
4.7.1 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.05 |
z3 |
4.4.0 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.11 |
z3 |
4.11.0 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.11 |
z3 |
4.8.15 |
python39Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.11 |
z3 |
4.8.15 |
python310Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.11 |
z3 |
4.8.15 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.11 |
z3 |
4.7.1 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs stable 22.11 |
z3 |
4.4.0 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs unstable |
z3 |
4.11.0 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs unstable |
z3 |
4.8.17 |
python310Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs unstable |
z3 |
4.8.17 |
python311Packages |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs unstable |
z3 |
4.8.17 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
nixpkgs unstable |
z3 |
4.8.5 |
- |
aseipp@pobox.com, ttuegel@mailbox.org |
|
OpenBSD Ports |
math/z3 |
4.12.1 |
math |
ports@openbsd.org |
openmamba
devel-autodist |
z3 |
4.12.2 |
System/Libraries |
silvan.calarco@mambasoft.it |
openmamba
devel |
z3 |
4.8.17 |
System/Libraries |
silvan.calarco@mambasoft.it |
OpenMandriva 4.2
main/release |
z3 |
4.8.8 |
Unspecified |
bero@lindev.ch |
OpenMandriva 4.3
main/release |
z3 |
4.8.8 |
Unspecified |
bero+massbuild@lindev.ch |
OpenMandriva Rolling
main/release |
z3 |
4.12.1 |
Unspecified |
angrypenguinpoland@gmail.com |
OpenMandriva Cooker
main/release |
z3 |
4.12.1 |
Unspecified |
angrypenguinpoland@gmail.com |
|
OpenPKG |
z3 |
4.12.2.20230513 |
Algorithm |
- |
openSUSE Leap 42.3
main/oss |
z3 |
4.5.0 |
Productivity/Scientific/Other |
- |
openSUSE Leap 15.0
main/oss |
z3 |
4.6.0 |
Productivity/Scientific/Other |
- |
openSUSE Leap 15.1
main/oss |
z3 |
4.6.0 |
Productivity/Scientific/Other |
- |
openSUSE Leap 15.2
main/oss |
z3 |
4.8.7 |
Productivity/Scientific/Other |
- |
openSUSE Leap 15.3
main/oss |
z3 |
4.8.7 |
Productivity/Scientific/Other |
- |
openSUSE Leap 15.4
main/oss |
z3 |
4.8.13 |
Productivity/Scientific/Other |
- |
openSUSE Leap 15.5
main/oss |
z3 |
4.12.1 |
Productivity/Scientific/Other |
- |
openSUSE Tumbleweed
src-oss |
z3 |
4.12.1 |
Productivity/Scientific/Other |
- |
Parabola
extra |
python-z3-solver |
4.12.1 |
- |
- |
Parabola
extra |
z3 |
4.12.1 |
- |
- |
Pardus 21
main |
z3 |
4.8.10 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Parrot
parrot-updates/main |
z3 |
4.8.10 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Parrot
parrot/main |
z3 |
4.8.10 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Pisi Linux
main |
z3 |
4.12.1 |
library |
uglyside@yandex.ru |
|
pkgsrc current |
math/z3 |
4.12.2 |
math |
dholland@netbsd.org |
|
PLD Linux |
z3 |
4.8.13 |
- |
- |
|
PureOS Amber |
z3 |
4.4.1 |
misc |
pkg-llvm-team@lists.alioth.debian.org, mt@debian.org |
|
PureOS landing |
z3 |
4.8.10 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Raspbian Oldstable
main |
z3 |
4.4.1 |
misc |
pkg-llvm-team@lists.alioth.debian.org, mt@debian.org |
Raspbian Stable
main |
z3 |
4.8.10 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Raspbian Testing
main |
z3 |
4.8.12 |
misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Scoop
main |
z3 |
4.12.2 |
- |
- |
|
SlackBuilds |
academic/z3 |
4.11.2 |
academic |
nick@smallbone.se |
|
SliTaz Next |
z3 |
4.7.1 |
development |
al.bobylev@gmail.com |
|
SliTaz Next |
z3-dev |
4.7.1 |
development |
al.bobylev@gmail.com |
|
SliTaz Next |
z3 |
4.7.1 |
development |
al.bobylev@gmail.com |
|
SliTaz Next |
z3-dev |
4.7.1 |
development |
al.bobylev@gmail.com |
|
Solus |
python-z3 |
4.8.17 |
programming.python |
git@gzgz.dev |
|
Solus |
z3 |
4.8.17 |
programming.library |
git@gzgz.dev |
|
Solus |
z3-dbginfo |
4.8.17 |
debug |
git@gzgz.dev |
|
Solus |
z3-devel |
4.8.17 |
programming.devel |
git@gzgz.dev |
|
Solus |
z3-java |
4.8.17 |
programming.java |
git@gzgz.dev |
|
Spack |
z3 |
4.11.2 |
- |
fallback-mnt-spack@repology |
|
Termux |
z3 |
4.12.2 |
- |
termux@github |
Trisquel 10.0
nabia/main |
z3 |
4.8.7 |
universe/misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Trisquel 11.0
aramo/main |
z3 |
4.8.12 |
universe/misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 16.04
xenial/universe |
z3 |
4.4.0 |
universe/misc |
mt@debian.org |
Ubuntu 18.04
bionic/universe |
z3 |
4.4.1 |
universe/misc |
ubuntu-devel-discuss@lists.ubuntu.com |
Ubuntu 20.04
focal/universe |
z3 |
4.8.7 |
universe/misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 22.04
jammy/universe |
z3 |
4.8.12 |
universe/misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 22.10
kinetic/universe |
z3 |
4.8.12 |
universe/misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 23.04
lunar/universe |
z3 |
4.8.12 |
universe/misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
Ubuntu 23.10
mantic/universe |
z3 |
4.8.12 |
universe/misc |
pkg-llvm-team@lists.alioth.debian.org, fabi.wolff@arcor.de |
|
Vcpkg |
z3 |
4.11.0 |
- |
- |
Void Linux x86_64
x86_64 |
z3 |
4.12.2 |
- |
leah@vuxu.org |
Void Linux x86_64
x86_64 |
z3-ocaml |
4.12.2 |
- |
leah@vuxu.org |
|
Wikidata |
Z3 Theorem Prover |
4.12.1 |
- |
- |
|
YACP |
z3 |
4.11.2 |
Math |
- |