aterm-utils
Version 0.2.0.2 revision 0 uploaded by JasonDagit.
Package meta
- Synopsis
- Utility functions for working with aterms as generated by Minitermite
- Description
- Author
- Jason Dagit
- Bug reports
- n/a
- Category
- Language
- Copyright
- (c) 2012 Galois, Inc
- Homepage
- https://github.com/GaloisInc/aterm-utils
- Maintainer
- dagit@galois.com
- Package URL
- n/a
- Stability
- n/a