-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2016-54d73989f6 2016-01-30 14:54:08.581413 --------------------------------------------------------------------------------
Name : z3 Product : Fedora 23 Version : 4.4.1 Release : 2.fc23 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:
Add __init__.py to the python bindings so they can be used as a python module. -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1298429 - There is no __init__.py in python binding of z3 solver https://bugzilla.redhat.com/show_bug.cgi?id=1298429 --------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use su -c 'yum update z3' at the command line. For more information, refer to "Managing Software with yum", available at https://docs.fedoraproject.org/yum/.
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 --------------------------------------------------------------------------------
package-announce@lists.fedoraproject.org