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

by D Avis
Venue:Polytopes - Combinatorics and Computation, DMV-Seminar 29, Birkhauser