Package details
Package z3
Version 4.8.4-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.9
Repository community
Architecture armv7
Size 14.48 MB
Installed size 23.89 MB
Origin z3
Maintainer Sören Tempel
Build time 2018-12-26 14:56:16
Commit 981e24ddb68fe148e8c7f8a1627820c2b5142421
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (4)
Required by (1)
Sub Packages (2)