python-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
Package Size:189.6 KB
Installed Size:1.8 MB
Last Packager:Felix Yan
Last Updated:2021-06-11 07:34:14 JST

Dependencies (6)

Required By python-z3 (0)