libisl13 - Integer Set Library

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename libisl13-0.14.1-2-omv2015.0.i586.rpm
Package name libisl13
Package version 0.14.1
Package release 2-omv2015.0
Package architecture i586
Package type rpm
Category System/Libraries
Homepage git://
License MIT
Maintainer -
Download size 412.05 KB
Installed size 1.19 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.
This is an old version of isl, provided for compatibility with legacy
applications only.


Package Version Architecture Repository
libisl13 - - -


Name Value - - - - - - -


Name Value -
libisl13 == 0.14.1-2:2015.0


Type URL
Binary Package libisl13-0.14.1-2-omv2015.0.i586.rpm
Source Package isl13-0.14.1-2.src.rpm

Install Howto

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




2015-07-19 - Bernhard Rosenkraenzer <> 0.14.1-2
- (4a7caae) MassBuild#774: Increase release tag

See Also

Package Description
libisl15-0.16.1-2-omv2015.0.i586.rpm Integer Set Library
libiso++0-0.93-6-omv2015.0.i586.rpm C++ library from libcdio
libiso9660_10-0.93-6-omv2015.0.i586.rpm Library from libcdio
libisoburn-devel-1.4.4-1-omv2015.0.i586.rpm CD-ROM image access library - development headers
libisoburn1-1.4.4-1-omv2015.0.i586.rpm CD-ROM image access library - shared library
libisofs-devel-1.4.0-2-omv2015.0.i586.rpm Header files for development with libisofs
libisofs-devel-1.4.4-1-omv2015.0.i586.rpm Header files for development with libisofs
libisofs6-1.4.0-2-omv2015.0.i586.rpm Library for creating ISO disc images
libisofs6-1.4.4-1-omv2015.0.i586.rpm Library for creating ISO disc images
libitm-devel-5.3.1_2016.03-2-omv2015.0.i586.rpm GCC Transactional Memory development support
libitm-devel-5.4.1_2016.06-2-omv2015.0.i586.rpm GCC Transactional Memory development support
libitm-static-devel-5.3.1_2016.03-2-omv2015.0.i586.rpm GCC Transactional Memory static libraries
libitm-static-devel-5.4.1_2016.06-2-omv2015.0.i586.rpm GCC Transactional Memory static libraries
libitm1-5.3.1_2016.03-2-omv2015.0.i586.rpm GCC Transactional Memory support library
libitm1-5.4.1_2016.06-2-omv2015.0.i586.rpm GCC Transactional Memory support library