docs/output-tags.rst

   1 Output tags
   2 ===========
   3
   4 cvc5 supports printing information about certain aspects of the solving process
   5 that is intended for regular users. These can be enabled using the
   6 :ref:`output <lbl-option-output>` option.
   7
   8 As of now, the following output tags are supported:
   9
  10 .. include-build-file:: output_tags_generated.rst