Various tools using libpolylib

 Polylib is a free C library for doing computations on polyhedra.
 The library is operating on objects like vectors, matrices, lattices,
 polyhedra, Z-polyhedra, unions of polyhedra and other intermediary
 structures.
 It provides functions for all important operations on these structures.
 .
 This package contains various utilities to perform polyhedral operations.