Back to Search
Description
Homepage
Source Files
Split Packages
Base Package
License(s)
Build Date
Packager
Package Size
Installed Size
Download Mirror
SHA256 Sum
Dependencies
Optional Deps
Provides
Conflicts With
Replaces
Package Files
CachyOS | z3 - cachyos-extra-v3 (x86_64_v3)
Back to Search
z3
Version 4.15.4-2.1 from cachyos-extra-v3 (x86_64_v3)
Description
High-performance theorem prover
Homepage
https://github.com/Z3Prover/z3
Source Files
View Source Files
Split Packages
python-z3-solver
z3-java
License(s)
MIT
Build Date
20 Jan 2026, 21:53
Packager
CachyOS <admin@cachyos.org>
Package Size
9.73 MB
Installed Size
37.85 MB
Download Mirror
https://cdn77.cachyos.org/repo/x86_64_v3/cachyos-extra-v3/z3-4.15.4-2.1-x86_64_v3.pkg.tar.zst
SHA256 Sum
d9052e77f10cca3e55e2fba650b8430c69fba8b135fd9cff9a2fbe248641aae6
Dependencies
gcc-libs
glibc
Optional Deps
N/A
Provides
libz3
libz3.so=4.15-64
Conflicts With
N/A
Replaces
N/A
Package Files
Load package files