Package details
Package py3-z3
Version 4.11.2-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.17
Repository community
Architecture s390x
Size 97.0KiB
Installed size 648.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2022-09-04 16:23:27
Commit d991ad79679505121274320672b1af9fa4a0074e
Merge request 39304
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)