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
Back to Search
z3
Version 4.15.1-2 from extra (x86_64)
Description
High-performance theorem prover
Homepage
https://github.com/Z3Prover/z3
Source Files
View Source Files
Split Packages
python-z3-solver
License(s)
MIT
Build Date
19/12/2025, 07:26:00
Packager
Jakub Klinkovský <lahwaacz@archlinux.org>
Package Size
9.58 MB
Installed Size
38.19 MB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/z3-4.15.1-2-x86_64.pkg.tar.zst
SHA256 Sum
c9b9dca62b980ede00146d2a321805ffd3921b1d0d7520925c66291e791df211
Dependencies
gcc-libs
glibc
Optional Deps
N/A
Provides
libz3
libz3.so=4.15-64
CachyOS | z3 - extra (x86_64)
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website