Package details
Package z3
Version 4.15.2-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture s390x
Size 13.9MiB
Installed size 34.6MiB
Origin z3
Maintainer Sören Tempel
Build time 2025-07-20 19:10:30
Commit ebd374144fdef15a382287c39f05e7732f103274
Merge request 87511
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package