Initial update for z3
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.
- Submitted by Ismail Dönmez (namtrac)
Fixed bugs
bnc#1045595
Add z3 to the PackageHub project