FM
Version 0.5.0
- Author:
- Louis-Noël Pouchet <louis-noel.pouchet@inria.fr>
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 convenience functions to manipulate Q-polyhedra.
Communication: one group is available for subscription fm-announce, to receive announces about releases of the software.
Please contact the author directly for any question.
Generated on Fri Oct 31 00:49:13 2008 for FM by
1.5.3