net.automatalib.modelchecking.ModelCheckerLasso Maven / Gradle / Ivy

Show more of this group  Show more artifacts with this name
Show all versions of automata-api Show documentation

This artifact contains the API of AutomataLib, which mainly consists of interfaces for the various concepts and automaton models supported by the AutomataLib core. In addition to that, it also defines some fundamental classes for dealing with words of symbols.