Package details
Package py3-z3
Version 4.8.13-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.15
Repository community
Architecture x86_64
Size 94.1KiB
Installed size 632.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2021-11-20 15:38:56
Commit c3803cb39baf7f555929b06c109e45c0a0cf06c9
Merge request 27627
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)