Download List

Descripción del Proyecto

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 and operations geared towards polyhedral compilation such as dependence analysis, scheduling, and AST generation.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2010-12-24 08:43 Back to release list
0.05

Esta versión añade soporte para el formato extendido PolyLib e incluye mejoras de menor importancia al análisis de la dependencia, la expansión de Bernstein, y la programación entera paramétricas, entre otros.
This release adds support for the extended PolyLib format and includes minor improvements to dependency analysis, Bernstein expansion, and parametric integer programming, amongst others.

Project Resources