Fedora 31 Update: z3-4.8.6-1.fc31

-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2019-e31c878747 2019-09-30 00:00:36.231253 -------------------------------------------------------------------------------- Name : z3 Product : Fedora 31 Version : 4.8.6 Release : 1.fc31 URL : https://github.com/Z3Prover/z3 Summary : Satisfiability Modulo Theories (SMT) solver Description : Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers. -------------------------------------------------------------------------------- Update Information: Changes in version 4.8.6: - various bug fixes - built in support for PIP, thanks to Audrey Dutcher - VS compilation mode including misc flags for managed packages -------------------------------------------------------------------------------- References: [ 1 ] Bug #1753858 - z3-4.8.6 is available https://bugzilla.redhat.com/show_bug.cgi?id=1753858 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2019-e31c878747' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys --------------------------------------------------------------------------------