This project has declared the following modules:
Name | Description |
---|---|
AutomataLib :: Serialization :: Core | Generic automata serialization core |
AutomataLib :: Serialization :: SAF | (De-)Serializers for the Simple Automaton Format |
AutomataLib :: Serialization :: TAF | (De-)Serializers for the Textual Automaton Format |
AutomataLib :: Serialization :: LearnLibV2 | (De-)Serializers for the legacy LearnLibV2 format |