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: https://bugzilla.suse.com/1045595