# isl 0.15-3 source package in Ubuntu

## Changelog

isl (0.15-3) unstable; urgency=medium * Upload to unstable. -- Matthias Klose <email address hidden> Tue, 17 Nov 2015 00:20:09 +0100

## Upload details

- Uploaded by:
- Debian GCC maintainers

- Uploaded to:
- Sid

- Original maintainer:
- Debian GCC maintainers

- Architectures:
- any

- Section:
- libs

- Urgency:
- Medium Urgency

## See full publishing history Publishing

Series | Published | Component | Section |
---|

## Downloads

File | Size | SHA-256 Checksum |
---|---|---|

isl_0.15-3.dsc | 1.8 KiB | a1f02c3bd8fa7b5ec9c9981b912a4dc878e88d902401141674be288336c2e2ee |

isl_0.15.orig.tar.xz | 1.3 MiB | 104a608839771d809558f5fd7533ca1a3b8ee5a667c5dcd9dc3499bf0a1522d5 |

isl_0.15-3.debian.tar.xz | 20.4 KiB | c44592bfeefe32e1f454ecb64890aa4d8c417b89f3066e834c1b211b5bf0ff2a |

### Available diffs

- diff from 0.14-2 to 0.15-3 (416.1 KiB)

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.

- libisl-dev-dbgsym: debug symbols for package libisl-dev
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.

- libisl15: 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.

- libisl15-dbgsym: debug symbols for package libisl15
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.