.. cirsat: a CIRcuit-based SAT-solver documentation master file, created by
   sphinx-quickstart on Tue Apr  1 12:12:29 2025.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to cirsat: a CIRcuit-based SAT-solver's documentation!
==============================================================

.. toctree::
   :maxdepth: 2
   :caption: Contents:



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

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