Try the work of either David Avis or Komei Fukuda. They both
collaborate and do their own things.
Davis has a reverse search algorithm called lrs now at version 4.2. He
is at McGill.
Fukuda has an enumeration package called cdd based on the double
description method. There
seem to be several versions. He is at ETH Zurich.
Chernikova, cdd, etc are all descendents of Fourier elimination. They
vary in how they
do the bookkeeping and avoid redundency.