Package details
Package z3-dev
Version 4.8.17-r0
Description Theorem prover from Microsoft Research (development files)
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.16
Repository community
Architecture ppc64le
Size 90.6KiB
Installed size 588.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2022-05-05 18:06:12
Commit cee4740a2dd1cc13c07167603ea95f27f959ef54
Merge request 33999
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)