net.automatalib.distribution:automata-distribution (maven):  An artifact that aggregates all other artifacts of AutomataLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all AutomataLib artifacts. 
Keywords: automata|graph|java|java-library|transition-systems