Package details
Package z3
Version 4.8.10-r2
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture s390x
Size 11.52 MB
Installed size 29.34 MB
Origin z3
Maintainer Sören Tempel
Build time 2021-04-09 17:07:11
Commit b8395ee92b9f510b1adbc3836df9be7b512cdbb5
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (2)
Sub Packages (2)