Project Modules

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