Package details
Package z3
Version 4.8.8-r0
Description Theorem prover from Microsoft Research
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture ppc64le
Size 10.96 MB
Installed size 28.74 MB
Origin z3
Maintainer Sören Tempel
Build time 2020-05-10 21:11:02
Commit 2a1b6247085ef4083488211db078b9927d3df390
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (2)
Sub Packages (2)