z3
Version 4.15.1-1.2 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
- License(s)
- MIT
- Build Date
- Packager
- CachyOS <admin@cachyos.org>
- Package Size
- 9.81 MB
- Installed Size
- 38.31 MB
- Download Mirror
- https://cdn77.cachyos.org/repo/x86_64_v3/cachyos-extra-v3/z3-4.15.1-1.2-x86_64_v3.pkg.tar.zst
- SHA256 Sum
- 745262477e90fb4eb0b013354a5550a6b7e310720799ddab56492daf9d4a404e
- Optional Deps
- N/A
- Provides
- Conflicts With
- N/A
- Replaces
- N/A
- Package Files