在技術發展如此迅猛的今天，爲什麼老師要讓我用一個最後更新時間在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~調試成功