Library for finding vertices of convex polytopes
