{"library":"automata-util","type":"library","category":null,"description":"This artifact provides various common utility operations for analyzing and manipulating automata and graphs, such as traversal, minimization and copying.","language":"java","status":"active","version":"0.12.1","tags":["automata","graph","utility","analysis"],"last_verified":"Wed Jun 17","install":[{"cmd":"<dependency>\n  <groupId>net.automatalib</groupId>\n  <artifactId>automata-util</artifactId>\n  <version>0.12.1</version>\n</dependency>","imports":["net.automatalib.util.automata.Automata"]},{"cmd":"implementation 'net.automatalib:automata-util:0.12.1'","imports":[]}],"homepage":"https://learnlib.github.io/automatalib/maven-site/0.12.1","github":"https://github.com/LearnLib/automatalib","docs":"https://appdoc.app/artifact/net.automatalib/automata-util/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}