python-z3-solver-4.13.0-1 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: python-z3 Upstream URL: https://github.com/Z3Prover/z3 Size: 0.26 MB Installed Size: 2.64 MB Build Date: 2024-03-11 17:35:39 Package Dependencies (3) python python-setuptools z3 Required by (3) python-claripy python-pysmt ropper Package Optional Dependencies (0) Package Makepkg Dependencies (10) git glibc cmake ninja python python-setuptools gcc-libs python-build python-installer python-wheel