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-java - cachyos-extra-znver4 (x86_64_v4)
Back to Search
z3-java
Version 4.15.4-2.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
20 Jan 2026, 19:53
Packager
CachyOS <admin@cachyos.org>
Package Size
220.1 KB
Installed Size
409 KB
Download Mirror
https://cdn77.cachyos.org/repo/x86_64_v4/cachyos-extra-znver4/z3-java-4.15.4-2.1-x86_64_v4.pkg.tar.zst
SHA256 Sum
400037e53a7e0d7edd0a4c88769ebdbba1573c81c15da83c20754573f9c5bd11
Dependencies
gcc-libs
glibc
java-runtime
z3
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
Load package files