lrs: A revised implementation of the reverse search vertex enumeration algorithm (2000)

by David Avis
Venue:In Polytopes– Combinatorics and Computation