isl - Integer point manipulation library

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package filename isl-0.18-1.mga7.i586.rpm
Package name isl
Package version 0.18
Package release 1.mga7
Package architecture i586
Package type rpm
Category System/Libraries
License MIT
Maintainer -
Download size 13.87 KB
Installed size 17.09 KB
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.18-1.mga7.x86_64.rpm 0.18 x86_64 Mageia Core
isl - - -


Name Value
isl == 0.18-1.mga7
isl(x86-32) == 0.18-1.mga7


Type URL
Binary Package isl-0.18-1.mga7.i586.rpm
Source Package isl-0.18-1.mga7.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




2019-01-22 - luigiwalser <luigiwalser> 0.18-1.mga7
+ Revision: 1359157
- 0.18
2018-09-23 - umeabot <umeabot> 0.16.1-2.mga7
+ Revision: 1298332
- Mageia 7 Mass Rebuild

See Also

Package Description
iso-codes-4.4-1.mga8.noarch.rpm Mapping between ISO country codes and full names
isodumper-1.15-2.mga8.noarch.rpm Tool for writing ISO images on a USB stick
isodumper-gtk-1.15-2.mga8.noarch.rpm IsoDumper for GTK
isodumper-qt-1.15-2.mga8.noarch.rpm IsoDumper for Qt
isomaster-1.3.14-2.mga7.i586.rpm An easy to use GUI CD image editor
isomd5sum-1.2.3-1.mga8.i586.rpm Utilities for working with md5sum implanted in ISO images
isomd5sum-devel-1.2.3-1.mga8.i586.rpm Development headers and library for using isomd5sum
isorelax-0-0.18.release20050334.mga7.noarch.rpm Public interfaces for RELAX Core
isorelax-javadoc-0-0.18.release20050334.mga7.noarch.rpm API documentation for isorelax
ispc-1.12.0-1.mga8.i586.rpm C-based SPMD programming language compiler
ispc-examples-1.12.0-1.mga8.i586.rpm Examples binaries for ispc
istack-commons-2.21-7.mga7.noarch.rpm Common code for some Glassfish projects
istack-commons-buildtools-2.21-7.mga7.noarch.rpm istack-commons buildtools
istack-commons-javadoc-2.21-7.mga7.noarch.rpm Javadoc for istack-commons
istack-commons-maven-plugin-2.21-7.mga7.noarch.rpm istack-commons Maven Mojo