Utility functions for working with aterms as generated by Minitermite
License
GaloisInc/aterm-utils
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
# ATerm Utilities Extra functionality not found in the "aterm" package. # Funding This work was supported by the U.S. Department Of Energy-Office of Science under Contract No. DE-SC0002076.
About
Utility functions for working with aterms as generated by Minitermite
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published