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
sys-devel/llvm Enable support for sci-mathematics/z3 constraint solver

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