Update Info


Initial update for z3

Type: optional
Severity: low
Issued: 2017-06-28
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.



  • z3-4.5.0+git.20170523-2.1