.. cozy documentation master file, created by
   sphinx-quickstart on Tue Oct 10 11:14:55 2023.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to cozy's documentation!
=================================

.. toctree::
   :maxdepth: 4
   :caption: Contents:

   gettingstarted
   launchingavisualization
   concolic
   hooks
   sideeffects
   underconstrained



Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`