• AOSC
  • Packages

z3 5.1.0

Z3 Efficient Theorem Prover

Section: app-devel

Depends : glibc, python-3

Depends (build) : gcc-runtime, setuptools

Depends (library): box64, gcc-runtime, gcc-runtime-13, gcc-runtime-14, gcc-runtime-15, gcc-runtime-16, glibc

Links: Changelog, Reverse dependency, Report issues

Upstream: source (git) 5.1.0

Available versions

Version 5.1.05.0.0 4.15.3-1
amd64 18.2 MiB 18.1 MiB
arm64 17.0 MiB 16.9 MiB
loongarch64 18.7 MiB 18.6 MiB
loongson3 18.6 MiB 18.5 MiB
ppc64el 20.2 MiB 20.1 MiB
riscv64 18.6 MiB 18.5 MiB
Copyleft 2011–2025, Members of the community. – API - Third Party Licenses