Fork (and catkinized version) of clipper, a polygon clipping library - View it on GitHub