C

covering

Implementation of the Fincke--Pohst algorithm using libboost's rational number type for exact computations. Includes makeshift support for the Parma Polyhedra Library in order to compute the Voronoi cells of Coxeter lattices.