An Algorithm for Finding All Vertices of Convex Polyhedral Sets | Synapse