z3 4.8.12-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.0 MB
Installed Size:32.3 MB
Last Packager:Felix Yan
Last Updated:2021-07-17 02:52:24 JST

Dependencies (6)

Required By z3 (8)