* 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.


* 02/16/08: Release of fm-0.4.0
  . Improvements: 
  .. Redundancy reduction: Add optional support of Piplib (for polyhedra
  emptiness test and improved redundancy reduction). Add
  compacted_solution type (compaction based implicit equality detection) 
  .. New features: Offer computation of sets of 'connected' variables
  .. New algorithms: Add Gaussian elimination, and Le Fur descending
  methods for redundancy reduction.
  . Bug fixes: Fix an important bug in the integer hull computation,
  remove memory leaks. 


* 12/01/06: Release of fm-0.3.0
  . Improvments: No significant improvment.
  . Bug fixes: Support 64-bit architecture.


* 09/06/06: Release of fm-0.2.0
  . Improvments: Implement last research results about the algorithm.
  . Bug fixes: No significant bug fixed.


* 06/08/06: Release of fm-0.1.2
  . Improvements: Reduce memory footprint.
  . Bug fixes: No significant bug fixed.


* 06/07/06: Release of fm-0.1.1
  . Improvements: Add some extra features to the solver.
  . Bug fixes: Fix an important bug in the termination clause of the algorithm.


* 06/05/06: Release of fm-0.1.0
