我正在尝试了解如何使用APRON。
我想到的第一件事是在上面链接的“文档”部分中编译C 示例 。
有人可以帮我吗？我没能理解如何编译这个例子
非常感谢任何帮助！
问问题
76 次
1 回答
1
您需要该库的其余源代码，链接在该页面的底部，即：http ://apron.cri.ensmp.fr/library/apron-0.9.9.tgz
于 2013-03-04T14:20:02.910 回答