AutomataLib
AutomataLib
/
AutomataLib :: Build Parent
/
AutomataLib :: Serialization
/
AutomataLib :: Serialization :: Mata
/
About
|
Last Published: 2026-08-12
Version: 13.0.0
Parent Project
AutomataLib :: Serialization
Project Documentation
Project Information
About
Licenses
Team
Source Code Management
Issue Management
CI Management
Dependencies
Maven Coordinates
About AutomataLib :: Serialization :: Mata
(De-)Serializers for the Mata automaton format
