CDDLib 建立状态 引用引用 CDDLib是的包装。 使用cdd的API或使用高层接口，都可以在“较低层”中使用此模块。 CDDLib还包括线性编程求解器CDDLib.Optimizer ， CDDLib.Optimizer可以通过使用。 构建该软件包将下载编译的二进制文件。 如cddlib的自述文件中所述： C库cddlib是Motzkin等人的Double Descr iption Method的C实现。 用于生成线性不等式给定的R ^ d中一般凸多面体的所有顶点（即极点）和极