cddlib 是一个用于凸多面体计算和线性不等式系统求解的开源 C 库，全称为 CDD (Double Description Method Library)。它基于双描述法（Double Description M...
