[FM] Release of FM-0.5.0.

[Louis-Noel Pouchet]

Dear all,

The version 0.5.0 of the FM library has been publicly released. FM is a
library dedicated to manipulating Q-polyhedra, and especially those
representing the projection of a given system of inequalities. The
projection is computed with an improved version of the Fourier-Motzkin
algorithm. The library offers features such as:
- A redundancy-controlled C implementation of the Fourier-Motzkin
projection algorithm.
- A lexicographic min/max computation (for Q and Z polyhedra).
- A lot of auxiliary functions to manipulate Q-polyhedra.

Changes as of 10/30/08: Release of fm-0.5.0
* Improvements:
- Redundancy reduction: Provide automatic scaling flag for fm_solver
(FM_SOLVER_AUTO_SIMPLIFY).
- New algorithms: Add fm_solution_traverse, a generic polytope scanner.
- Improve the robustness of the library, and the memory behavior.
* License: FM is now released under the terms of the GNU Lesser GPL v3.
* Bug fixes: small fixes for memory leak and null constraints handling,
and in fm_solution_point_included.

Regards,

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