Description
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 not in the scope of this artifact.
Vulnerabilities
No vulnerabilities detected
Sign up and see:
Detailed component information including:
- Version history
- Declared licenses
- Vulnerability details