z3 4.8.8-1

Architecture:x86_64
Repository:community
Base Package:z3
Description:High-performance theorem prover
Upstream URL:https://github.com/Z3Prover/z3
License(s):MIT
Provides:libz3, libz3.so=4.8-64
Package Size:8.1 MB
Installed Size:32.6 MB
Last Packager:Felix Yan
Last Updated:2020-05-11 05:21:14 JST

Dependencies (7)

Required By z3 (6)