GitHub repository: vhavlena/appreal
Primary language: C
Description: APProximate REduction of Automata and Languages