Download automata-core JAR file with all dependencies
automata-core from group net.automatalib (version 0.11.0)
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.11.0
Last update 06. November 2023
Tags: concrete facilitate note algorithms classes part artifact that library model traversal reachability implementations defined interfaces implementing this abstract many analysis automatalib core contains automaton util well automata base
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.11.0
Last update 06. November 2023
Tags: concrete facilitate note algorithms classes part artifact that library model traversal reachability implementations defined interfaces implementing this abstract many analysis automatalib core contains automaton util well automata base
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)