[letsee-announce] Release of LeTSeE: the LEgal Transformation SpacE Explorator, version 0.1

[Louis-Noel Pouchet]

I wish to inform you that the first release of LeTSeE, the LEgal
Transformation SpacE Explorator is now available for download.

LeTSeE is a platform dedicated to computing and exploring the legal
affine scheduling space of a statically controlled program. It is
programmed as a library, offering services such as:
- a tunable algorithm for legal transformation space construction,
- various heuristics to traverse legal spaces,
- many auxiliary functions (graph manipulation, transformation
generation, etc.)

The LeTSeE software is a part of a larger toolchain containing a set of
free software for program transformation and optimization in the
polyhedral model. It comprises also:
- FM, the Fourier-Motzkin Library, for manipulating Q-polyhedra
- PIPLib, a parametric integer programming solver
- PolyLib, a library for parametric integer polyhedra computation
- CLooG, a code generator in the polyhedral model
- Candl, a dependence analyzer

You can download a toolkit containing all the abovementioned software,
or only the LeTSeE library, at
http://www-rocq.inria.fr/~pouchet/software/letsee/letsee.html

There is preliminary documentation available. But with respect to the
library's complexity, this documentation remains incomplete at this
time. Don't hesitate to contact the author or to use the mailing lists
to ask any question.
The development of LeTSeE is highly active, we plan to include in the
next release our last results about heuristic scan of the search space
with Genetic Algorithms, as well as improvements about the overall
robustness of the library.

Best regards,

--
Louis-Noel Pouchet
louis-noe...@inria.fr