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

Version RDEPEND DEPEND BDEPEND IDEPEND PDEPEND
dev-lang/boogie-3.0.5
dev-lang/boogie-3.0.6
dev-lang/boogie-3.0.7
dev-lang/dafny-4.3.0-r1
dev-lang/dafny-bin-4.3.0
dev-util/ropper-1.13.8
dev-util/ropper-9999
sci-mathematics/vampire-4.8
sys-devel/llvm-14.0.6-r4
sys-devel/llvm-15.0.7-r3
sys-devel/llvm-16.0.6
sys-devel/llvm-17.0.5
sys-devel/llvm-18.0.0.9999
sys-devel/llvm-18.0.0_pre20231119

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