首先在linux系统下,通过官网下载所需的资源。官网地址:http://libalf.informatik.rwth-aachen.de/
这里只需要libalf和examples进行演示。下载好之后解压。然后使用console打开解压目录,【你的解压目录】/libalf/src。
然后输入make
将进行自动编译,会生成一个libalf.so的文件,之后打开前一个libalf目录,输入make install,linux会自动将头文件和配置文件安装好
在跳转到examples的解压目录,我是用online.cpp进行演示的,如果要使用java编程,记得配置好java所需的环境
会生成一个a.out的文件
然后运行即可