C library implementing the Double Description Method
