isl - Integer point manipulation library

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package name isl
Package version 0.16.1
Package release 1.mga6
Package architecture i586
Package type rpm
Installed size 16.23 KB
Download size 15.06 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
isl-0.16.1-1.mga6.x86_64.rpm 0.16.1 x86_64 Mageia Core
isl - - -


Name Value
python(abi) -


Name Value
isl == 0.16.1-1.mga6
isl(x86-32) == 0.16.1-1.mga6


Type URL
Binary Package isl-0.16.1-1.mga6.i586.rpm
Source Package isl-0.16.1-1.mga6.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install isl rpm package:
    # urpmi isl




2016-01-24 - luigiwalser <luigiwalser> 0.16.1-1.mga6
+ Revision: 926999
- update to 0.16.1 (lib major 15)
2016-01-24 - luigiwalser <luigiwalser> 0.14-3.mga6
+ Revision: 926979
- revert to 0.14 temporarily to properly libify
- 0.16.1 (compatible with 0.15)
2016-01-24 - luigiwalser <luigiwalser> 0.15-1.mga6
+ Revision: 926932
- 0.15
- library major is now 15
- use configure2_5x to fix build
2015-08-20 - tmb <tmb> 0.14-2.mga6
+ Revision: 867004
- rebuild with new gcc
2015-08-19 - tmb <tmb> 0.14-1.mga6
+ Revision: 866010
- fix devel group
- clean spec
- imported package isl

See Also

Package Description
iso-codes-3.79-1.mga7.noarch.rpm Mapping between ISO country codes and full names
isodumper-0.59-2.mga7.noarch.rpm Tool for writing ISO images on a USB stick
isodumper-gtk-0.59-2.mga7.noarch.rpm IsoDumper for GTK
isodumper-qt-0.59-2.mga7.noarch.rpm IsoDumper for Qt
isomaster-1.3.14-1.mga7.i586.rpm An easy to use GUI CD image editor
isomd5sum-1.2.1-1.mga7.i586.rpm Utilities for working with md5sum implanted in ISO images
isomd5sum-devel-1.2.1-1.mga7.i586.rpm Development headers and library for using isomd5sum
isorelax-0-0.18.release20050333.mga6.noarch.rpm Public interfaces for RELAX Core
isorelax-javadoc-0-0.18.release20050333.mga6.noarch.rpm API documentation for isorelax
istack-commons-2.21-6.mga6.noarch.rpm Common code for some Glassfish projects
istack-commons-buildtools-2.21-6.mga6.noarch.rpm istack-commons buildtools
istack-commons-javadoc-2.21-6.mga6.noarch.rpm Javadoc for istack-commons
istack-commons-maven-plugin-2.21-6.mga6.noarch.rpm istack-commons Maven Mojo
istack-commons-runtime-2.21-6.mga6.noarch.rpm istack-commons runtime
istack-commons-soimp-2.21-6.mga6.noarch.rpm istack-commons soimp