polylib-utils - 5.22.5-4.2+dfsg+b1 main

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.