.. cvc5 documentation master file, created by
   sphinx-quickstart on Mon Apr  5 17:02:33 2021.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

cvc5 API Documentation
======================


* :ref:`genindex`


---------------

.. toctree::
   :maxdepth: 1

   cpp/cpp
   python/python
   references
   examples/examples
   options