Skip to content
GitLab
Explore
Sign in
PARTIES
tools
adt2amas
Issues
#3
Make get_info() which return a string with automaton information