CachyOS | z3 - extra (x86

Version 4.15.1-1 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: 15/6/2025, 10:32:58
Packager: Antonio Rojas <arojas@archlinux.org>
Package Size: 9.55 MB
Installed Size: 38.17 MB
Download Mirror: https://archlinux.cachyos.org/repo/extra/os/x86_64/z3-4.15.1-1-x86_64.pkg.tar.zst
SHA256 Sum: 8e188b990eecefcc0b4aac5369178f887c34b46f31e8d33368eb30e910379659
Dependencies: gcc-libs glibc
Optional Deps: N/A
Provides: libz3 libz3.so=4.15-64
Conflicts With: N/A
Replaces: N/A
Package Files: View package files on Arch Linux website