About AutomataLib :: Serialization :: AUT

(De-)Serializers for the AUT Format