About LearnLib :: Distribution

A framework for active automata learning and experimentation