我试图了解如何使用APRON。
我想到做的第一件事是编译C example
在以上链接的“文档”部分中。
有人可以帮我吗?我没有理解如何编译示例
任何帮助都非常有用!
最佳答案
您需要该库的其余源代码,该源代码链接在该页面的底部,即:http://apron.cri.ensmp.fr/library/apron-0.9.9.tgz
我试图了解如何使用APRON。
我想到做的第一件事是编译C example
在以上链接的“文档”部分中。
有人可以帮我吗?我没有理解如何编译示例
任何帮助都非常有用!
最佳答案
您需要该库的其余源代码,该源代码链接在该页面的底部,即:http://apron.cri.ensmp.fr/library/apron-0.9.9.tgz