libisl15 - Integer Set Library

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename libisl15-0.16.1-2-omv2015.0.i586.rpm
Package name libisl15
Package version 0.16.1
Package release 2-omv2015.0
Package architecture i586
Package type rpm
Category System/Libraries
Homepage git://
License MIT
Maintainer -
Download size 511.11 KB
Installed size 1.58 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
libisl15-0.18-1-omv2015.0.i586.rpm 0.18 i586 OpenMandriva Main Updates
libisl15 - - -


Name Value - - - - - - -


Name Value -
libisl15 == 0.16.1-2:2015.0


Type URL
Binary Package libisl15-0.16.1-2-omv2015.0.i586.rpm
Source Package isl-0.16.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 libisl15 rpm package:
    # urpmi libisl15



See Also

Package Description
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
libiw-devel-30-0.pre9.4-omv2015.0.i586.rpm Wireless_tools development library