纽波尔卡

新Polka是一个处理凸多面体的库,它的约束和生成元具有有理系数。它是用ansic编写的,所以你可以在任何C或C++程序中使用它。还提供了一个到OCaml语言的接口。这个库目前被我的验证工具NBac和其他从事静态分析和抽象解释的研究团队使用。它主要基于旧的IRISA PolyLib和Verimag实验室同步团队内部Polka工具中使用的旧库。