We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Operators
We would like to read the operators from a file that matches a specific file format.
operators
We can use the qa or the json format
qa
json
Note that qa defines the qautomata format, this format should be human readable but still optimised to save disk space.
The text was updated successfully, but these errors were encountered:
Operator
No branches or pull requests
We would like to read the
operators
from a file that matches a specific file format.We can use the
qa
or thejson
formatNote that
qa
defines the qautomata format, this format should be human readable but still optimised to save disk space.The text was updated successfully, but these errors were encountered: