Carve

[ An efficient and robust library for boolean operations on polyhedra ]