在技术发展如此迅猛的今天，为什么老师要让我用一个最后更新时间在2011年的库，着实是让我非常的难过了。提到过这个自动机学习框架的文献少之又少，然后我继续我的一脸懵逼学习历程。
官网链接：http://libalf.informatik.rwth-aachen.de/index.php?page=home
老旧的网页，朴素的气息，三个版本0.1，0.2，0.3。没错，连一个1都没有，一度让我怀疑这玩意儿到底能不能用。
这个documentation已经n年过去了-。-还在soon！本来想跟着它的java demo学习一下，然后发现它的第一个版本并不能在windows上使用，不能编译成.dll。真是令人窒息的操作，而且这里我也不准备用java进行编程，主要是用c++，如果用java的话，推荐另外一个库：https://learnlib.de/【看看别人的，最新版本2018年】
我想试试能不能用vs直接编译它的example，然后就发生了
内心很复杂，然后还是决定用网站上写的方法，用MinGw来进行编译QAQ先下载安装【省略】然后我用msys打开，然后在libalf/src make，再打开examples的文件夹，输入
这是我的库的安装位置，请根据自己的安装位置进行调整
生成一个exe文件
运行
ok~调试成功