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 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

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