-------------------------------------------------------------------------------- Fedora EPEL Update Notification FEDORA-EPEL-2020-e1c2193379 2020-04-13 18:02:00.079072 --------------------------------------------------------------------------------
Name : python-pysmt Product : Fedora EPEL 8 Version : 0.8.0 Release : 2.el8 URL : http://www.pysmt.org Summary : Solver-agnostic library for SMT Formulae manipulation and solving Description : A library for SMT formulae manipulation and solving pySMT makes working with Satisfiability Modulo Theory simple. Among others, you can:
* Define formulae in a solver independent way in a simple and inutitive way * Write ad-hoc simplifiers and operators * Dump your problems in the SMT-Lib format * Solve them using one of the native solvers * Wrapping any SMT-Lib complaint
-------------------------------------------------------------------------------- Update Information:
Fix typo in description (rhbz#1808467) -------------------------------------------------------------------------------- ChangeLog:
-------------------------------------------------------------------------------- References:
[ 1 ] Bug #1808467 - Review Request: python-pysmt - Solver-agnostic library for SMT Formulae manipulation and solving https://bugzilla.redhat.com/show_bug.cgi?id=1808467 --------------------------------------------------------------------------------
This update can be installed with the "yum" update programs. Use su -c 'yum update python-pysmt' at the command line. For more information, refer to "YUM", available at https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/7%5C /html/System_Administrators_Guide/ch-yum.html
All packages are signed with the Fedora EPEL GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys --------------------------------------------------------------------------------
epel-package-announce@lists.fedoraproject.org