z3 4.8.6-2

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:14.4 MB
Installed Size:47.7 MB
Last Packager:Felix Yan
Last Updated:2019-11-04 16:31:42 JST

Dependencies (7)

Required By z3 (4)