z3 4.8.9-2.0

Architecture: i686
Repository: i686/community
Split Packages: python-z3, z3
Description: High-performance theorem prover
Upstream URL:
License(s): MIT
Package Size: 8299.18 kB
Installed Size: 32.90 MB
Build Date: 2020-09-14 01:34:13
Last Updated: 2020-09-21 06:44:53

Dependencies (43)

Required By (6)