This update adds z3 to the SUSE PackageHub project.

Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates several decision procedures: Linear real and integer
arithmetic, fixed-size bit vectors, uninterpreted functions, extensional arrays, quantifiers and model generation.

This package is needed to enable clang's z3 backend.