a C implementation of the Double Description Method
