Package details
Package py3-z3
Version 4.13.3-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture ppc64le
Size 99.0KiB
Installed size 619.1KiB
Origin z3
Maintainer Sören Tempel
Build time 2024-10-12 15:25:02
Commit 58428718b9b8d3b814d857c0b7e02a44adc7262b
Merge request 73422
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)