z3

Global USE flag

Enable the static analyzer constraint manager backend using sci-mathematics/z3


Packages describing “z3” as local USE flag

Package “z3” Flag Description
sys-devel/clang Enable the static analyzer constraint manager backend using sci-mathematics/z3
sys-devel/llvm Enable support for sci-mathematics/z3 constraint solver

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