PPLite: Zero-overhead encoding of NNC polyhedra