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

   installation/installation
   binary/binary
   cpp/cpp
   python/python
   examples/examples
   references
   genindex