python-z3-solver 4.11.2-1

Architecture:x86_64
Repository:community
Base Package:z3
Description:High-performance theorem prover
Upstream URL:https://github.com/Z3Prover/z3
License(s):MIT
Replaces:python-z3
Conflicts:python-z3
Package Size:201.3 KB
Installed Size:1.7 MB
Last Packager:Felix Yan
Last Updated:2022-09-12 04:23:14 JST

Dependencies (12)

Required By python-z3-solver (3)