Package details
Package py3-z3
Version 4.12.3-r1
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.19
Repository community
Architecture x86
Size 99.2KiB
Installed size 664.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2024-01-29 19:10:06
Commit 774d857a00afca5ac1fa7e51a6843a2e50ffdaa2
Merge request 65040
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)