isl 0.12.1-2 source package in Ubuntu

Changelog

isl (0.12.1-2) unstable; urgency=low


  * Drop build dependency on libcloog-isl-dev.

 -- Matthias Klose <email address hidden>  Tue, 26 Nov 2013 12:44:41 +0100

Upload details

Uploaded by:
Debian GCC maintainers
Uploaded to:
Sid
Original maintainer:
Debian GCC maintainers
Architectures:
any
Section:
libs
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
isl_0.12.1-2.dsc 1.2 KiB 1bb7132a879d3ff7cdbc83bf8f036fd90eabca5582a098ee7295861300d0572b
isl_0.12.1.orig.tar.bz2 1.2 MiB 43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7
isl_0.12.1-2.debian.tar.gz 63.6 KiB d889211aac1c5a884d971f0642d561882e668b3329dd2c7888b03c4cd53e51ac

No changes file available.

Binary packages built by this source

libisl-dbg: manipulating sets and relations of integer points bounded by linear constraints

 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, and computing the lexicographic
 minimum using parametric integer programming. It also includes an ILP solver
 based on generalized basis reduction.
 .
 This package contains debug files.

libisl-dev: manipulating sets and relations of integer points bounded by linear constraints

 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, and computing the lexicographic
 minimum using parametric integer programming. It also includes an ILP solver
 based on generalized basis reduction.
 .
 This package contains the development files.

libisl10: manipulating sets and relations of integer points bounded by linear constraints

 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, and computing the lexicographic
 minimum using parametric integer programming. It also includes an ILP solver
 based on generalized basis reduction.
 .
 This package contains the runtime library.