An efficient implementation of the Double Description Method
