向上
纽波尔卡
New Polka是一个处理凸多面体的库，其约束和生成器具有有理系数。它是用ANSI C编程，所以您可以在任何C或C++程序中使用它。接口OCaml公司还提供了语言。这个图书馆当前在我的验证工具中使用NBac公司和其他人从事静态分析和抽象的研究团队解释。
它主要是基于旧的IRISA公司
PolyLib公司和内部波尔卡工具中使用的旧库同步团队属于这个Verimag实验室.
当时开发新图书馆的主要动机（1998年）需要多精度整数。接口和内存管理也得到了改进（据作者介绍!), 饱和矩阵可以保存在内存中，从而节省计算时间。还有一个选项可以处理strictx>y等约束。
实现的操作包括从约束创建多面体或生成器、交集、凸壳、图像和预图像变换、加宽算子和饱和矩阵的检验。
C接口很简单，但也很粗糙。OCaml界面提供了很好的约束输入和输出，矩阵和多面体，并为您提供多面体桌面计算器多亏了OCaml顶级。
NEWPOLKA现在集成在停机坪图书馆，其中提供对几个抽象域的访问，以及更高级别的接口。此文档仅为未想要切换到新接口和/或有理由使用这个。
（2006年11月15日）