Package details
Package z3
Version 4.13.0-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture s390x
Size 12.63 MB
Installed size 32 MB
Origin z3
Maintainer Sören Tempel
Build time 2024-03-10 18:51:19
Commit 0fb77f6fadffb62557332b55e231401281225428
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (1)
Sub Packages (2)