Packages with the z3 use flag

sys-devel / llvm : Low Level Virtual Machine

  • Enable support for sci-mathematics/z3 constraint solver