Gentoo Packages
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • Home
  • Packages
  • Maintainers
  • USE flags
  • Architectures
  • About

sci-mathematics/
z3

An efficient theorem prover

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

Overview Dependencies QA report Pull requests 0 Bugs 1 Security 0 Changelog

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

Description

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at:
  • rdepend
  • depend
  • bdepend
  • pdepend

Gentoo Packages Database

Data as current of
Feb 06, 2023 06:30:37 UTC

Questions or comments?

Please feel free to contact us.

v1.0.0

© 2001–2021 Gentoo Foundation, Inc.
Gentoo is a trademark of the Gentoo Foundation, Inc. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.
Contact
v1.0.0