Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
z3

An efficient theorem prover

https://github.com/Z3Prover/z3/

Dependencies Reverse-Dependencies

VersionRDEPENDDEPENDBDEPENDIDEPENDPDEPEND
dev-lang/boogie-3.2.5
dev-lang/boogie-3.3.3
dev-lang/boogie-3.4.1
dev-lang/dafny-4.8.0
dev-lang/dafny-4.8.1
dev-lang/dafny-4.9.0
dev-lang/dafny-bin-4.8.1
dev-lang/dafny-bin-4.9.0
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-18.1.8-r6
sys-devel/llvm-19.1.3
sys-devel/llvm-20.0.0.9999
sys-devel/llvm-20.0.0_pre20241029

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: