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
1
Security
0
Changelog
Dependencies
Reverse-Dependencies
Version
RDEPEND
DEPEND
BDEPEND
PDEPEND
dev-lang/boogie-2.15.8-r4
dev-lang/boogie-2.15.9
dev-lang/boogie-2.16.0
dev-lang/dafny-bin-3.10.0
dev-lang/dafny-bin-3.11.0
dev-util/cppcheck-2.6.3
dev-util/ropper-1.13.8
dev-util/ropper-9999
sci-mathematics/vampire-4.6.1-r2
sci-mathematics/vampire-4.7-r1
sys-devel/llvm-14.0.6-r2
sys-devel/llvm-15.0.7
sys-devel/llvm-16.0.0.9999
sys-devel/llvm-16.0.0_pre20230107
sys-devel/llvm-16.0.0_pre20230127
sys-devel/llvm-16.0.0_rc1
sys-devel/llvm-17.0.0.9999
sys-devel/llvm-17.0.0_pre20230203
Description
The reverse dependencies are regularly parsed from the
qa-reports
. The sources can be found at:
rdepend
depend
bdepend
pdepend