blob: 645561f2bb4ce6388dada690d306d1f3a738d4e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
.. 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
======================
.. toctree::
:maxdepth: 2
:caption: Contents:
---------------
* :ref:`genindex`
* :ref:`search`
C++ API Documentation
---------------------
.. doxygenfile:: cvc5.h
|