Gentoo Packages

Search

Manage

• Information: euse -i z3
• Enable: euse -E z3
• Disable: euse -D z3

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

• dev-util/ghidra: Enable SymbolicSummaryZ3 symbolic execution extension using Z3 SMT solver
• dev-util/ropper: Enable Z3 contraint solver support
• llvm-core/llvm: Enable support for <pkg>sci-mathematics/z3</pkg> constraint solver
• sci-mathematics/vampire: Enable support for <pkg>sci-mathematics/z3</pkg>

Local Descriptions (use.local.desc)

• dev-util/ropper: Enable Z3 contraint solver support
• llvm-core/llvm: Enable support for sci-mathematics/z3 constraint solver
• sci-mathematics/vampire: Enable support for sci-mathematics/z3

Warnings

• Warning: USE flag 'z3' is used in ebuilds/metadata but is not defined in profiles/use.desc
• Warning: USE flag 'z3' used by dev-libs/triton but has no description in metadata.xml, use.local.desc or use.desc
• Warning: USE flag 'z3' used by dev-python/cpmpy but has no description in metadata.xml, use.local.desc or use.desc

Packages Using This Flag