| Architecture: | aarch64 |
|---|---|
| Repository: | extra |
| Split Packages: | python-z3-solver, z3-java |
| Description: | High-performance theorem prover |
| Upstream URL: | https://github.com/Z3Prover/z3 |
| License(s): | MIT |
| Provides: | libz3, libz3.so=4.16-64 |
| Installed Size: | 57MiB |
| Build Date: | Mon Mar 30 17:31:19 2026 UTC |
Copyright ©2009-2026 Arch Linux ARM
The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.
The Arch Linux™ name and logo are used under permission of the Arch Linux Project Lead.