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/dafny-bin-3.7.1-r2
dev-lang/dafny-bin-3.7.2
dev-lang/dafny-bin-3.7.3
dev-util/cppcheck-2.6.3
dev-util/ropper-1.13.7
dev-util/ropper-9999
sci-mathematics/vampire-4.6.1-r1
sci-mathematics/vampire-4.7
sys-devel/llvm-13.0.1
sys-devel/llvm-14.0.6-r2
sys-devel/llvm-15.0.0.9999
sys-devel/llvm-15.0.0_rc2
sys-devel/llvm-16.0.0.9999

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