lrs: A Revised Implementation of the Reverse Search Vertex Enumeration Algorithm (2000)

by D Avis
Venue:Polytopes – Combinatorics and Computation