Peter Hachenberger
The function minkowski_sum_3 computes the Minkowski sum of two given 3D Nef polyhedra.