lib64isl13 - Integer Set Library

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name lib64isl13
Package version 0.13
Package release 2-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 1.31 MB
Download size 430.40 KB
Official Mirror
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.


Package Version Architecture Repository
lib64isl13 - - -


Name Value - - - - - - -


Name Value
lib64isl13 == 0.13-2:2014.1 -


Type URL
Binary Package lib64isl13-0.13-2-rosa2014.1.x86_64.rpm
Source Package isl-0.13-2.src.rpm

Install Howto

  1. Enable ROSA Main repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install lib64isl13 rpm package:
    # urpmi lib64isl13




2014-09-09 - Eugene Shatokhin <> 0.13-2
+ Revision: bf063ad
- Do not package *
- The script is not usually needed. If it is present ldconfig complains
- about it not being a library but residing in /usr/lib*.

See Also

Package Description
lib64iso++0-0.90-10-rosa2014.1.x86_64.rpm C++ library from libcdio
lib64iso9660_8-0.90-10-rosa2014.1.x86_64.rpm Library from libcdio
lib64isofs-devel-1.3.0-2-rosa2014.1.x86_64.rpm Header files for development with libisofs
lib64isofs6-1.3.0-2-rosa2014.1.x86_64.rpm Library for creating ISO disc images
lib64itm-devel-4.9.2_2014.08-2-rosa2014.1.x86_64.rpm GCC Transactional Memory development support
lib64itm-static-devel-4.9.2_2014.08-2-rosa2014.1.x86_64.rpm GCC Transactional Memory static libraries
lib64itm1-4.9.2_2014.08-2-rosa2014.1.x86_64.rpm GCC Transactional Memory support library
lib64iw29-29-6-rosa2014.1.x86_64.rpm Wireless_tools library
lib64iw29-devel-29-6-rosa2014.1.x86_64.rpm Wireless_tools development library
lib64ixion-devel-0.7.0-1-rosa2014.1.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64ixion0.8_0-0.7.0-1-rosa2014.1.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64jack-devel- Header files for Jack
lib64jack0- Library associated with jack
lib64jacknet0- Library associated with jack
lib64jackserver0- Library associated with jack server, needed for jackd/jackdbus