The Polyhedral Library (PolyLib) operates on objects made up of unions of polyhedra of any dimension.