Enable support for sci-mathematics/z3 backend

Packages describing “z3” as local USE flag

Package “z3” Flag Description
dev-util/cppcheck Enable support for sci-mathematics/z3 backend
dev-util/ropper Enable Z3 contraint solver support
sys-devel/llvm Enable support for sci-mathematics/z3 constraint solver
sci-mathematics/vampire Enable support for sci-mathematics/z3

All packages providing a “z3” USE flag (2)