Package details
Package py3-z3
Version 4.13.4-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture ppc64le
Size 99.5KiB
Installed size 621.6KiB
Origin z3
Maintainer Sören Tempel
Build time 2024-12-21 10:54:13
Commit 513046c9c9af8059de6817d22eed2448f47c8d46
Merge request 77400
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)