aut is a simple parser and library for working with the AUT format files (AUTomation, or ALDEBARAN format) for representing labelled transition systems in Go.

Full details and specification of the format can be found in the AUT manual page.

aut is licesnsed under the Apache License