Package details
Package z3
Version 4.8.5-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.10
Repository community
Architecture x86
Size 20.05 MB
Installed size 45.93 MB
Origin z3
Maintainer Sören Tempel
Build time 2019-06-02 16:07:02
Commit ba8467f158379d1e915ce2d842acaa2464289d70
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (4)
Required by (1)
Sub Packages (2)