libisl-devel-0.16.1-1.mga6.i586.rpm


Advertisement

Description

libisl-devel - Development for building integer point manipulation library

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package name libisl-devel
Package version 0.16.1
Package release 1.mga6
Package architecture i586
Package type rpm
Installed size 752.37 KB
Download size 514.83 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
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
libisl-devel - - -

Requires

Name Value
devel(libgmp) -
gmp-devel -
isl >= 0.16.1-1.mga6
libisl15 >= 0.16.1-1.mga6
pkgconfig -

Provides

Name Value
devel(libisl) -
isl-devel == 0:0.16.1-1.mga6
libisl-devel == 0.16.1-1.mga6
libisl-devel(x86-32) == 0.16.1-1.mga6
pkgconfig(isl) == 0.16.1

Obsoletes

Name Value
isl-devel <= 0:0.16.1-1.mga6

Download

Type URL
Binary Package libisl-devel-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 libisl-devel rpm package:
    # urpmi libisl-devel

Files

Path
/usr/include/isl/aff.h
/usr/include/isl/aff_type.h
/usr/include/isl/arg.h
/usr/include/isl/ast.h
/usr/include/isl/ast_build.h
/usr/include/isl/ast_type.h
/usr/include/isl/band.h
/usr/include/isl/constraint.h
/usr/include/isl/ctx.h
/usr/include/isl/flow.h
/usr/include/isl/hash.h
/usr/include/isl/hmap.h
/usr/include/isl/id.h
/usr/include/isl/id_to_ast_expr.h
/usr/include/isl/id_to_pw_aff.h
/usr/include/isl/ilp.h
/usr/include/isl/list.h
/usr/include/isl/local_space.h
/usr/include/isl/lp.h
/usr/include/isl/map.h
/usr/include/isl/map_to_basic_set.h
/usr/include/isl/map_type.h
/usr/include/isl/mat.h
/usr/include/isl/multi.h
/usr/include/isl/obj.h
/usr/include/isl/options.h
/usr/include/isl/point.h
/usr/include/isl/polynomial.h
/usr/include/isl/polynomial_type.h
/usr/include/isl/printer.h
/usr/include/isl/schedule.h
/usr/include/isl/schedule_node.h
/usr/include/isl/schedule_type.h
/usr/include/isl/set.h
/usr/include/isl/set_type.h
/usr/include/isl/space.h
/usr/include/isl/stdint.h
/usr/include/isl/stream.h
/usr/include/isl/union_map.h
/usr/include/isl/union_map_type.h
/usr/include/isl/union_set.h
/usr/include/isl/union_set_type.h
/usr/include/isl/val.h
/usr/include/isl/val_gmp.h
/usr/include/isl/vec.h
/usr/include/isl/version.h
/usr/include/isl/vertices.h
/usr/include/isl/deprecated/aff_int.h
/usr/include/isl/deprecated/ast_int.h
/usr/include/isl/deprecated/constraint_int.h
/usr/include/isl/deprecated/ilp_int.h
/usr/include/isl/deprecated/int.h
/usr/include/isl/deprecated/map_int.h
/usr/include/isl/deprecated/mat_int.h
/usr/include/isl/deprecated/point_int.h
/usr/include/isl/deprecated/polynomial_int.h
/usr/include/isl/deprecated/set_int.h
/usr/include/isl/deprecated/union_map_int.h
/usr/include/isl/deprecated/val_int.h
/usr/include/isl/deprecated/vec_int.h
/usr/lib/libisl.so
/usr/lib/pkgconfig/isl.pc
/usr/share/doc/libisl-devel/manual.pdf

Changelog

See isl-0.16.1-1.mga6.i586.rpm changelog.

See Also

Package Description
libisl15-0.16.1-1.mga6.i586.rpm Integer point manipulation library
libiso9660++0-2.0.0-4.mga7.i586.rpm iso96660 C++ library from libcdio
libiso9660_11-2.0.0-4.mga7.i586.rpm Libraries from libcdio
libisofs-devel-1.4.8-1.mga7.i586.rpm Header files for development with libisofs
libisofs6-1.4.8-1.mga7.i586.rpm Library for creating ISO disc images
libitcl4.1.1-4.1.1-1.mga7.i586.rpm Library for linking against itcl
libitcl4.1.1-devel-4.1.1-1.mga7.i586.rpm Development headers for linking against itcl
libitcl4.1.1-static-devel-4.1.1-1.mga7.i586.rpm Static library for linking against itclstub
libitk4.1.0-4.1.0-1.mga7.i586.rpm Library for linking against itk
libitk4.1.0-devel-4.1.0-1.mga7.i586.rpm Development headers for linking against itk
libitm-devel-8.2.1-0.20180810.2.mga7.i586.rpm The GNU Transactional Memory library devel files
libitm1-8.2.1-0.20180810.2.mga7.i586.rpm The GNU Transactional Memory library
libiw-devel-30-0.pre9.10.mga6.i586.rpm Wireless_tools development library
libiw30-30-0.pre9.10.mga6.i586.rpm Wireless_tools library
libixion-devel-0.13.0-2.mga7.i586.rpm Development files for libixion
Advertisement
Advertisement