{"library":"automata-core","type":"library","category":null,"description":"Core library for AutomataLib, providing concrete implementations of automaton models and abstract base classes.","language":"java","status":"active","version":"0.12.1","tags":["automata","automatalib","dfa","model"],"last_verified":"Wed Jun 17","install":[{"cmd":"<dependency>\n  <groupId>net.automatalib</groupId>\n  <artifactId>automata-core</artifactId>\n  <version>0.12.1</version>\n</dependency>","imports":["net.automatalib.automata.fsa.DFA"]},{"cmd":"implementation 'net.automatalib:automata-core: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-core/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}