FM - FM: the Fourier-Motzkin library
Date of the last release: 30 October 2008
Person in charge :
BASTOUL Cédric
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: (1) A redundancy-controlled C implementation of the Fourier-Motzkin projection algorithm. (2) A lexicographic min/max computation (for Q and Z polyhedra). (3) A lot of auxiliary functions to manipulate Q-polyhedra.
More information: http://www-rocq.inria.fr/~pouchet/software/fm/fm.html
Software - Licence :
LGPL
Research activities
Compilation
Members
POUCHET Louis-Noel
Group
Parallel Systems
