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 Macaulay2Doc/ov_preface.m2:142:0.