Fedora 20 Update: qepcad-B-1.69-3.fc20

updates at fedoraproject.org updates at fedoraproject.org
Mon Feb 24 12:31:40 UTC 2014


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-2607
2014-02-15 18:00:40
--------------------------------------------------------------------------------

Name        : qepcad-B
Product     : Fedora 20
Version     : 1.69
Release     : 3.fc20
URL         : http://www.usna.edu/CS/~qepcad/B/QEPCAD.html
Summary     : Quantifier elimination tool
Description :
QEPCAD is an implementation of quantifier elimination by partial
cylindrical algebraic decomposition due originally to Hoon Hong, and
subsequently added on to by many others.  It is an interactive
command-line program written in C/C++, and based on the SACLIB library.
This is QEPCAD B version 1.x, the "B" designating a substantial
departure from the original QEPCAD and distinguishing it from any
development of the original that may proceed in a different direction.

--------------------------------------------------------------------------------
Update Information:

This new package is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others.  It is an interactive command-line program written in C/C++, and based on the SACLIB library.  This is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #1061902 - Review Request: qepcad-B - Quantifier elimination tool
        https://bugzilla.redhat.com/show_bug.cgi?id=1061902
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update qepcad-B' at the command line.
For more information, refer to "Managing Software with yum",
available at http://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
--------------------------------------------------------------------------------


More information about the package-announce mailing list