docs/index.rst

   1 .. cvc5 documentation master file, created by
   2    sphinx-quickstart on Mon Apr  5 17:02:33 2021.
   3    You can adapt this file completely to your liking, but it should at least
   4    contain the root `toctree` directive.
   5
   6 cvc5 API Documentation
   7 ======================
   8
   9 .. toctree::
  10    :maxdepth: 2
  11    :caption: Contents:
  12
  13
  14 ---------------
  15
  16 * :ref:`genindex`
  17 * :ref:`search`
  18
  19
  20 C++ API Documentation
  21 ---------------------
  22
  23 .. doxygenfile:: cvc5.h