Another implementation of the double description method
http://www.ifor.math.ethz.ch/~fukuda/cdd_home/