The Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra of any dimension. polylib is a C library.
GPL v3
https://groups.google.com/forum/#!forum/isl-development
GMP
Plantri
Polymake