Package details
Package py3-z3
Version 4.8.7-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.11
Repository community
Architecture x86_64
Size 90.84 kB
Installed size 604 kB
Origin z3
Maintainer Sören Tempel
Build time 2019-11-23 15:34:58
Commit f3f167d15f703ebe0f9223065c4568b71373c578
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (2)