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.