lib64isl15 - Integer Set Library

Property Value
Distribution OpenMandriva Lx 4.0
Repository OpenMandriva Unsupported Release x86_64
Package filename lib64isl15-0.18-4-omv4000.x86_64.rpm
Package name lib64isl15
Package version 0.18
Package release 4-omv4000
Package architecture x86_64
Package type rpm
Category System/Libraries
Homepage git://
License MIT
Maintainer -
Download size 506.43 KB
Installed size 1.52 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
lib64isl15 - - -


Name Value - -
rtld(GNU_HASH) -


Name Value
lib64isl15 = 0.18-4
lib64isl15(x86-64) = 0.18-4 -


Type URL
Binary Package lib64isl15-0.18-4-omv4000.x86_64.rpm
Source Package isl15-0.18-4.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install lib64isl15 rpm package:
    # dnf install lib64isl15



See Also

Package Description
lib64isoburn-devel-1.3.8-2-omv2015.0.x86_64.rpm CD-ROM image access library - development headers
lib64isoburn1-1.3.8-2-omv2015.0.x86_64.rpm CD-ROM image access library - shared library
lib64italc-2.0.2-1-omv2015.0.x86_64.rpm Library used by ITALC
lib64itk-devel-3.20.0-4-omv2013.0.x86_64.rpm ITK header files for building C++ code
lib64itk4-3.20.0-4-omv2013.0.x86_64.rpm Medicine Insight Segmentation and Registration
lib64iulib-devel-0.4-4-omv2013.0.x86_64.rpm Header files, libraries and development documentation for iulib
lib64ixp-devel-0.6-0.20110223.2-omv2013.0.x86_64.rpm Plan9 file protocol library
lib64jackasyn-devel-0.13-7-omv2015.0.x86_64.rpm Header files and static libraries from jackasyn
lib64jackasyn-devel-0.13-7-omv4000.x86_64.rpm Header files and static libraries from jackasyn
lib64jackasyn0-0.13-7-omv2015.0.x86_64.rpm Dynamic libraries from jackasyn
lib64jackasyn0-0.13-7-omv4000.x86_64.rpm Dynamic libraries from jackasyn
lib64jingle-devel-0.6.14-1-omv2015.0.x86_64.rpm Static library and header files for the libjingle library
lib64jingle-static-devel-0.6.14-1-omv2015.0.x86_64.rpm Static files for the libjingle library
lib64jingle1-0.6.14-1-omv2015.0.x86_64.rpm Shared Google Talk's implementation of Jingle and Jingle-Audio library
lib64joschycore-0.8.1-71-omv2015.0.x86_64.rpm Support library for recorditnow