net.automatalib:automata-build-tools (maven): Tools and resources required for building AutomataLib
Keywords: automata|graph|java|java-library|transition-systems