GitHub repository: tiferrei/learnlib
Primary language: Java
Description: A free, open-source Java library for automata learning algorithms