openSUSE Optional Update: Initial update for z3 ______________________________________________________________________________
Announcement ID: openSUSE-OU-2017:1708-1 Rating: low References: #1045595 Affected Products: SUSE Package Hub for SUSE Linux Enterprise 12 ______________________________________________________________________________
An update that has one optional fix can now be installed.
Description:
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.
Patch Instructions:
To install this openSUSE Optional Update use YaST online_update. Alternatively you can run the command listed for your product:
- SUSE Package Hub for SUSE Linux Enterprise 12:
zypper in -t patch openSUSE-2017-745=1
To bring your system up-to-date, use "zypper patch".
Package List:
- SUSE Package Hub for SUSE Linux Enterprise 12 (aarch64 ppc64le s390x x86_64):
libz3-4_5-4.5.0+git.20170523-2.1 python-z3-4.5.0+git.20170523-2.1 z3-4.5.0+git.20170523-2.1 z3-devel-4.5.0+git.20170523-2.1
References: