Packages with the z3 use flag

sys-devel / clang : C language family frontend for LLVM

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

sys-devel / llvm : Low Level Virtual Machine

  • Enable support for sci-mathematics/z3 constraint solver