Add documentation on output tags (#7499)
[cvc5.git] / .github /
drwxr-xr-x   ..
drwxr-xr-x - ISSUE_TEMPLATE
drwxr-xr-x - actions
-rw-r--r-- 26 dco.yml
drwxr-xr-x - workflows