lib64isl13-0.13-2-rosa2014.1.x86_64.rpm


Advertisement

Description

lib64isl13 - Integer Set Library

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package name lib64isl13
Package version 0.13
Package release 2-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 1.31 MB
Download size 430.40 KB
Official Mirror mirror.rosalab.ru
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.

Alternatives

Package Version Architecture Repository
lib64isl13 - - -

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libgmp.so.10()(64bit) -

Provides

Name Value
lib64isl13 == 0.13-2:2014.1
libisl.so.13()(64bit) -

Download

Type URL
Binary Package lib64isl13-0.13-2-rosa2014.1.x86_64.rpm
Source Package isl-0.13-2.src.rpm

Install Howto

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

Files

Path
/usr/lib64/libisl.so.13
/usr/lib64/libisl.so.13.0.0

Changelog

2014-09-09 - Eugene Shatokhin <eugene.shatokhin@rosalab.ru> 0.13-2
+ Revision: bf063ad
- Do not package *-gdb.py
- The script is not usually needed. If it is present ldconfig complains
- about it not being a library but residing in /usr/lib*.

See Also

Package Description
lib64iso++0-0.90-10-rosa2014.1.x86_64.rpm C++ library from libcdio
lib64iso9660_8-0.90-10-rosa2014.1.x86_64.rpm Library from libcdio
lib64isofs-devel-1.3.0-2-rosa2014.1.x86_64.rpm Header files for development with libisofs
lib64isofs6-1.3.0-2-rosa2014.1.x86_64.rpm Library for creating ISO disc images
lib64itm-devel-4.9.2_2014.08-2-rosa2014.1.x86_64.rpm GCC Transactional Memory development support
lib64itm-static-devel-4.9.2_2014.08-2-rosa2014.1.x86_64.rpm GCC Transactional Memory static libraries
lib64itm1-4.9.2_2014.08-2-rosa2014.1.x86_64.rpm GCC Transactional Memory support library
lib64iw29-29-6-rosa2014.1.x86_64.rpm Wireless_tools library
lib64iw29-devel-29-6-rosa2014.1.x86_64.rpm Wireless_tools development library
lib64ixion-devel-0.7.0-1-rosa2014.1.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64ixion0.8_0-0.7.0-1-rosa2014.1.x86_64.rpm Threaded multi-target formula parser & interpreter
lib64jack-devel-1.9.9.5-1-rosa2014.1.x86_64.rpm Header files for Jack
lib64jack0-1.9.9.5-1-rosa2014.1.x86_64.rpm Library associated with jack
lib64jacknet0-1.9.9.5-1-rosa2014.1.x86_64.rpm Library associated with jack
lib64jackserver0-1.9.9.5-1-rosa2014.1.x86_64.rpm Library associated with jack server, needed for jackd/jackdbus
Advertisement
Advertisement