Library for finding vertices of convex polytopes