Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
z3
An efficient theorem prover
https://github.com/Z3Prover/z3/
Overview
Dependencies
QA report
Pull requests
0
Bugs
5
Security
0
Changelog
Dependencies
Reverse-Dependencies
Version
RDEPEND
DEPEND
BDEPEND
IDEPEND
PDEPEND
dev-lang/boogie-3.2.4
dev-lang/boogie-3.2.5
dev-lang/boogie-3.3.0
dev-lang/dafny-4.7.0
dev-lang/dafny-4.8.0
dev-lang/dafny-4.8.1
dev-lang/dafny-bin-4.7.0
dev-lang/dafny-bin-4.8.1
dev-util/ropper-1.13.10
dev-util/ropper-1.13.8
dev-util/ropper-9999
sci-mathematics/vampire-4.8
sci-mathematics/vampire-4.9
sys-devel/llvm-15.0.7-r3
sys-devel/llvm-15.0.7-r7
sys-devel/llvm-16.0.6
sys-devel/llvm-16.0.6-r5
sys-devel/llvm-17.0.6
sys-devel/llvm-17.0.6-r3
sys-devel/llvm-18.1.8-r1
sys-devel/llvm-18.1.8-r4
sys-devel/llvm-19.1.1
sys-devel/llvm-20.0.0.9999
sys-devel/llvm-20.0.0_pre20240924
sys-devel/llvm-20.0.0_pre20241004
sys-devel/llvm-20.0.0_pre20241009
Description
The reverse dependencies are regularly parsed from the
qa-reports
. The sources can be found at:
rdepend
depend
bdepend
idepend
pdepend