Fedora 20 Update: isl-0.14-3.fc20

updates at fedoraproject.org updates at fedoraproject.org
Wed Jan 21 23:04:46 UTC 2015


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-0600
2015-01-14 06:24:52
--------------------------------------------------------------------------------

Name        : isl
Product     : Fedora 20
Version     : 0.14
Release     : 3.fc20
URL         : http://isl.gforge.inria.fr/
Summary     : Integer point manipulation library
Description :
isl is a library for manipulating sets and relations of integer points
bounded by linear constraints.  Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, computing the lexicographic
minimum using parametric integer programming, coalescing and parametric
vertex enumeration.  It also includes an ILP solver based on generalized
basis reduction, transitive closures on maps (which may encode infinite
graphs), dependence analysis and bounds on piecewise step-polynomials.

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

Add shared variant of ISL package used by gcc and cross-gcc
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use
su -c 'yum update isl' 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