docs/index.rst


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

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