z3 4.8.11-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.8 MB
Installed Size:35.6 MB
Last Packager:Felix Yan
Last Updated:2021-06-11 07:34:14 JST

Dependencies (5)

Required By z3 (8)