lib64isl13 - Integer Set Library

Property Value
Distribution ROSA 2016.1
Repository ROSA Main x86_64
Package filename lib64isl13-0.13-5-rosa2016.1.x86_64.rpm
Package name lib64isl13
Package version 0.13
Package release 5-rosa2016.1
Package architecture x86_64
Package type rpm
Category System/Libraries
Homepage git://
License MIT
Maintainer -
Download size 423.91 KB
Installed size 1.29 MB
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-5:2016.1 -


Type URL
Binary Package lib64isl13-0.13-5-rosa2016.1.x86_64.rpm
Source Package isl-0.13-5.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




2017-02-04 - Andrey Bondrov <> 0.13-5
- (fd33fdc) MassBuild#1230: Increase release tag

See Also

Package Description
lib64iso++0-0.90-13-rosa2016.1.x86_64.rpm C++ library from libcdio
lib64iso9660_8-0.90-13-rosa2016.1.x86_64.rpm Library from libcdio
lib64isofs-devel-1.4.2-3-rosa2016.1.x86_64.rpm Header files for development with libisofs
lib64isofs6-1.4.2-3-rosa2016.1.x86_64.rpm Library for creating ISO disc images
lib64itm-devel-5.3.1_2016.05-4-rosa2016.1.x86_64.rpm GCC Transactional Memory development support
lib64itm-static-devel-5.3.1_2016.05-4-rosa2016.1.x86_64.rpm GCC Transactional Memory static libraries
lib64itm1-5.3.1_2016.05-4-rosa2016.1.x86_64.rpm GCC Transactional Memory support library
lib64iw-devel-29-11-rosa2016.1.x86_64.rpm Wireless_tools development library
lib64iw29-29-11-rosa2016.1.x86_64.rpm Wireless tools shared library
lib64ixion-devel-0.12.0-3-rosa2016.1.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64ixion0.12_0-0.12.0-3-rosa2016.1.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64ixml2-1.6.17-9-rosa2016.1.x86_64.rpm Library and tools for the UPnP protocol
lib64jack-devel-1.9.10-4-rosa2016.1.x86_64.rpm Header files for Jack
lib64jack0-1.9.10-4-rosa2016.1.x86_64.rpm Library associated with jack
lib64jacknet0-1.9.10-4-rosa2016.1.x86_64.rpm Library associated with jack