我试图了解如何使用APRON

我想到做的第一件事是编译C example
 在以上链接的“文档”部分中。

有人可以帮我吗?我没有理解如何编译示例

任何帮助都非常有用!

最佳答案

您需要该库的其余源代码,该源代码链接在该页面的底部,即:http://apron.cri.ensmp.fr/library/apron-0.9.9.tgz

10-08 09:10