z3 4.15.1-1

Architecture: aarch64
Repository: extra
Split Packages: python-z3-solver
Description: High-performance theorem prover
Upstream URL: https://github.com/Z3Prover/z3
License(s): MIT
Provides: libz3, libz3.so=4.15-64
Installed Size: 59MiB
Build Date: Sun Jun 15 12:18:43 2025 UTC
Origin
Arch Linux ARM
Package
Source Files
View Changes
Download

Dependencies

gcc-libs
glibc

Copyright ©2009-2022 Arch Linux ARM
The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.
The Arch Linux™ name and logo are used under permission of the Arch Linux Project Lead.