https://github.com/nickng/aut

Library for working with aut format.
https://github.com/nickng/aut

aut automata lts

Last synced: about 2 months ago
JSON representation

Library for working with aut format.

• Host: GitHub
• URL: https://github.com/nickng/aut
• Owner: nickng
• License: apache-2.0
• Created: 2017-02-28T02:17:58.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-03-19T19:04:00.000Z (about 8 years ago)
• Last Synced: 2025-02-15T05:13:30.551Z (4 months ago)
• Topics: aut, automata, lts
• Language: Go
• Size: 14.6 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# aut [![Build Status](https://travis-ci.org/nickng/aut.svg?branch=master)](https://travis-ci.org/nickng/aut)

`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][autmanual].

[autmanual]: http://cadp.inria.fr/man/aut.html "AUT manual page"

## License

`aut` is licesnsed under the [Apache License](http://www.apache.org/licenses/LICENSE-2.0)