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 | python-z3-solver - cachyos-extra-znver4 (x86_64_v4)
Back to Search
python-z3-solver
Version 4.15.1-1.1 from cachyos-extra-znver4 (x86_64_v4)
Description
High-performance theorem prover
Homepage
https://github.com/Z3Prover/z3
Source Files
View Source Files
Base Package
z3
License(s)
MIT
Build Date
15/6/2025, 13:02:51
Packager
CachyOS <admin@cachyos.org>
Package Size
268.88 KB
Installed Size
2.49 MB
Download Mirror
https://cdn77.cachyos.org/repo/x86_64_v4/cachyos-extra-znver4/python-z3-solver-4.15.1-1.1-x86_64_v4.pkg.tar.zst
SHA256 Sum
d275aac4dc9d60bef7fce8be8dccfb932a46e992e259a336af2d2320759e8c97
Dependencies
python
python-setuptools
z3
Optional Deps
N/A
Provides
N/A
Conflicts With
python-z3
Replaces
python-z3
Package Files
Load package files