C 求给定多面体的顶点

我正在寻找可以返回多边形顶点的C库。

请查看以下工具：

• lrs（）
• polymake（）
• cdd（）

。