Library for collision detection between convex shapes