GitHub repository: ondrik/appreal
Primary language: C
Created: 2016-04-22T12:16:03Z
Description: APProximate REduction of Automata and Languages