docs/index.rst


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

.. 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: 2

   cpp
   references