github.com/nickng/aut (go): Package aut is a library for parsing AUT format files (AUTomation, or ALDEBARAN format) for representing labelled transition systems.  Full details and specification of the format can be found in
Keywords: aut|automata|lts