Package details
Package py3-z3
Version 4.8.17-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.16
Repository community
Architecture aarch64
Size 95.4KiB
Installed size 640.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2022-05-05 18:06:12
Commit cee4740a2dd1cc13c07167603ea95f27f959ef54
Merge request 33999
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)