Download List

Projeto Descrição

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.

2011-12-19 02:17
0.09

Esta versão traz principalmente analisar melhor argumento e suporte aprimorado para conjuntos de parâmetros.
This release mainly brings improved argument parsing and improved support for parameter sets.

2011-10-22 05:48
0.08

Este lançamento faz uma distinção explícita entre espaços de mapas, conjuntos e conjuntos de parâmetros. Ele também introduz identificadores e expressões multi-quase-afins.
This release makes an explicit distinction between spaces of maps, sets, and parameter sets. It also introduces identifiers and multi-quasi-affine expressions.

2011-03-19 06:04
0.06

Esta liberação de recursos, principalmente de um analisador melhorada e algumas mudanças na API que melhorar a consistência.
This release mainly features an improved parser and some changes to the API that improve consistency.

2010-12-24 08:43
0.05

Esta versão adiciona suporte para o formato PolyLib amplo e inclui pequenas melhorias para a análise de dependência, a expansão Bernstein e programação inteira paramétricos, entre outros.
This release adds support for the extended PolyLib format and includes minor improvements to dependency analysis, Bernstein expansion, and parametric integer programming, amongst others.

2010-09-11 20:44
0.04

Esta versão adiciona suporte principalmente para espaços nomeados e aninhados e para conjuntos de união e mapas.
This release mainly adds support for named and nested spaces and for union sets and maps.

Project Resources