z3-4.13.0-2 Actions Panel View Package Sources View Package Changes Flag package out-of-date Architecture: x86_64 Repository: world Description: High-performance theorem prover License(s): MIT Provides: libz3, libz3.so==4.13-64 Upstream URL: https://github.com/Z3Prover/z3 Size: 8.44 MB Installed Size: 33.60 MB Build Date: 2024-04-07 15:57:00 Package Dependencies (2) glibc gcc-libs Required by (1) python-z3-solver Package Optional Dependencies (0) Package Makepkg Dependencies (10) git glibc cmake ninja python python-setuptools gcc-libs python-build python-installer python-wheel