The program lrslib, written by David Avis, provides the reverse search algorithm for vertex enumeration and convex hull problems. It is available at http://www-cgrl.cs.mcgill.ca/~avis/C/lrs.html.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Macaulay2Doc/ov_preface.m2:142:0.