Download automata-core JAR file with all dependencies
automata-core from group net.automatalib (version 0.5.1)
The core artifact of AutomataLib. This library contains concrete implementations for many
of the automaton model interfaces defined in the API artifact, as well as abstract
base classes that facilitate implementing new automaton model classes. Note that
concrete algorithms (traversal, reachability analysis etc.) are part of the automata-util artifact.
Artifact automata-core
Group net.automatalib
Version 0.5.1
Last update 15. January 2015
Tags: model scope implementations contains well analysis reachability interfaces traversal algorithms note classes abstract facilitate defined concrete automaton many that artifact library base core implementing automatalib this
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, guava, slf4j-api, checker-qual, metainf-services, mockito-core, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.5.1
Last update 15. January 2015
Tags: model scope implementations contains well analysis reachability interfaces traversal algorithms note classes abstract facilitate defined concrete automaton many that artifact library base core implementing automatalib this
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, guava, slf4j-api, checker-qual, metainf-services, mockito-core, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)