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.5.1
dev-lang/boogie-3.5.2
dev-lang/boogie-3.5.3
dev-lang/dafny-4.10.0
dev-lang/dafny-bin-4.10.0
dev-util/ropper-1.13.10
dev-util/ropper-1.13.13
dev-util/ropper-9999
llvm-core/llvm-15.0.7-r7
llvm-core/llvm-16.0.6-r5
llvm-core/llvm-17.0.6-r3
llvm-core/llvm-18.1.8-r6
llvm-core/llvm-19.1.7
llvm-core/llvm-20.1.5
llvm-core/llvm-20.1.6
llvm-core/llvm-21.0.0.9999
llvm-core/llvm-21.0.0_pre20250523
llvm-core/llvm-21.0.0_pre20250528
media-gfx/prusaslicer-2.9.2-r1
media-gfx/prusaslicer-9999
sci-mathematics/vampire-4.8
sci-mathematics/vampire-4.9

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