Participant : Tanguy Risset.
Polylib (available at http://www.irisa.fr/polylib/ ) is a C library for polyhedral operations. The library operates on objects such as vectors, matrices, (convex) polyhedra, unions of polyhedra, lattices, -polyhedra, and parametric polyhedra. Tanguy Risset has been responsible for the development of Polylib for several years. An odl software engineer has firmed up the basic infrastructure of the library. The development is now shared between Compsys, the Inria project r2d2 in Rennes, the icps team in Strasbourg, and the University of Leiden. This tool is being used by many groups all over the world.