Package details
Package z3
Version 4.8.17-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.16
Repository community
Architecture s390x
Size 11.9MiB
Installed size 30.1MiB
Origin z3
Maintainer Sören Tempel
Build time 2022-05-05 18:06:12
Commit cee4740a2dd1cc13c07167603ea95f27f959ef54
Merge request 33999
Git repository Git repository
Build log Build log
Contents Contents of package