OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

RSS
Downloadliste

Projektbeschreibung

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.

Systemanforderungen

Die Systemvoraussetzungen sind nicht definiert
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

Diese Version bringt vor allem verbesserte Argument analysieren und verbesserte Unterstützung für Parametersätze.
This release mainly brings improved argument parsing and improved support for parameter sets.

2011-10-22 05:48
0.08

Diese Version stellt eine explizite Unterscheidung zwischen Räumen der Karten, Mengen und Parametersätze. Es führt auch Bezeichner und multi-quasi-affine Ausdrücke.
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

Dieses Release vor allem mit einem verbesserten Parser und einige Änderungen an der API, die Konsistenz zu verbessern.
This release mainly features an improved parser and some changes to the API that improve consistency.

2010-12-24 08:43
0.05

Diese Version bietet Unterstützung für den erweiterten PolyLib Format und enthält kleinere Verbesserungen, um die Abhängigkeit Analyse, Bernstein Expansion und parametrische Integer Programming, ua.
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

Dieses Release fügt hauptsächlich Unterstützung für benannte und verschachtelten Räumen und für Union setzt und Karten.
This release mainly adds support for named and nested spaces and for union sets and maps.

Project Resources

Project Page Homepage